#noindex
##====자동기계,automaton =,automaton . 자동기계 automaton
[[오토마톤,automaton]]의 번역으로는 이게 최적?? or any alternatives?

TBD 1
'''자동기계,automaton'''
[[유한자동기계,finite_automaton]] (FA)
[[상태기계,state_machine]] (SM)
[[유한상태기계,finite-state_machine,FSM]] (FSM)
이것들이 거의 다 내용이 겹칠텐데, 표현이 너무 많다... (무한상태는 다룰 일이 아마 없지 않을까) ... 어떤 페이지로 집중하는게 최선?

집합 ? (WtEn:Venn_diagram ?)으로 나타낸 classes of automata (we)
{{{#!html
<div style="border: 1px solid; padding: 10px;">
<div style="border: 1px solid; padding: 10px;">
<div style="border: 1px solid; padding: 10px;">
<div style="border: 1px solid; padding: 10px;">
<a href="http://red-ruby.com/wiki/wiki.php/combinational_logic">combinational logic</a>
</div>
<a href="http://red-ruby.com/wiki/wiki.php/유한상태기계,finite-state_machine,FSM">finite-state machine</a>
</div>
<a href="http://red-ruby.com/wiki/wiki.php/pushdown_automaton">pushdown automaton</a>
</div>
<a href="http://red-ruby.com/wiki/wiki.php/튜링_기계,Turing_machine">Turing machine</a>
</div>
}}}

----
[[linear_bounded_automaton]] =,linear_bounded_automaton . linear_bounded_automaton |=,LBA LBA
{
'''linear bounded automaton'''
https://en.wiktionary.org/wiki/linear_bounded_automaton x [[Date(2024-03-10T02:43:34)]]
https://ko.wikipedia.org/wiki/선형유한_자동_기계
https://en.wikipedia.org/wiki/Linear_bounded_automaton

[[선형성,linearity]]?

} // linear bounded automaton ... Ndict:"linear bounded automaton" Naver:"linear bounded automaton" Bing:"linear bounded automaton" Ggl:"linear bounded automaton"

[[pushdown_automaton]] =,pushdown_automaton . pushdown_automaton |=,PDA PDA
{
'''pushdown automaton (PDA)'''

[[스택,stack]]을 사용.

Sub:
[[deterministic_pushdown_automaton]] =,deterministic_pushdown_automaton . deterministic_pushdown_automaton |=,DPDA DPDA
{
'''deterministic pushdown automaton''' (DPDA)

} // deterministic pushdown automaton ... Ndict:"deterministic pushdown automaton" Naver:"deterministic pushdown automaton" Ggl:"deterministic pushdown automaton" Bing:"deterministic pushdown automaton" 
[[embedded_pushdown_automaton]] =,embedded_pushdown_automaton . embedded_pushdown_automaton |=,EPDA EPDA
{
'''embedded pushdown automaton (EPDA)'''

Rel [[tree-adjoining_grammar]](TAG) =,tree-adjoining_grammar . tree-adjoining_grammar |=,TAG TAG
 {
 '''tree-adjoining grammar (TAG)'''
 https://en.wikipedia.org/wiki/Tree-adjoining_grammar
 Up: [[grammar_formalism]] (REL [[형식문법,formal_grammar]])
 } // Tree-adjoining grammar (TAG) ... Ggl:"Tree-adjoining grammar (TAG)" Naver:"Tree-adjoining grammar (TAG)" Bing:"Tree-adjoining grammar (TAG)"

https://en.wikipedia.org/wiki/Embedded_pushdown_automaton
} // embedded pushdown automaton ... Ggl:"embedded pushdown automaton" Naver:"embedded pushdown automaton"

https://en.wikipedia.org/wiki/Pushdown_automaton
} // pushdown automaton .... Ndict:"pushdown automaton" Naver:"pushdown automaton" Bing:"pushdown automaton" Ggl:"pushdown automaton"

[[nested_stack_automaton]] =,nested_stack_automaton . nested_stack_automaton |=,NSA NSA
{
'''nested stack automaton'''
https://en.wikipedia.org/wiki/Nested_stack_automaton
} // nested stack automaton ... Ggl:"nested stack automaton" Naver:"nested stack automaton"

[[counter_automaton]] =,counter_automaton . counter_automaton
{
'''counter automaton'''

[[카운터,counter]]
[[자동기계,automaton]]

https://en.wikipedia.org/wiki/Counter_automaton
 "counter automaton, or counter machine" .... AKA [[counter_machine]]

 Try: Ggl:"counter automaton vs counter machine"

} // counter automaton .... Bing:"counter automaton" Naver:"counter automaton" Ggl:"counter automaton"