finite state machine s
https://en.wikipedia.org/wiki/Finite_state_machine

Post-Turing_machine =,Post-Turing_machine =,Post-Turing_machine . Post-Turing_machine
Post-Turing machine
// 아래 셋 tag_machine = tag_system = Post_tag_system
tag_machine =,tag_machine =,tag_machine . tag_machine
tag_system =,tag_system =,tag_system . tag_system
Post_tag_system =,Post_tag_system =,Post_tag_system . Post_tag_system (추상기계,abstract_machine로 볼 경우 명칭)

pushdown_automaton = https://en.wiktionary.org/wiki/pushdown_automaton
https://simple.wikipedia.org/wiki/Pushdown_automata x 2023-11-03
Pushdown_automata = https://en.wikipedia.org/wiki/Pushdown_automata

Register_machine = https://en.wikipedia.org/wiki/Register_machine
RAM = random-access_machine =,random-access_machine . https://en.wikipedia.org/wiki/Random-access_machine

모두 같은 표현: "general recursive function, partial recursive function, or μ-recursive function"
//general recursive function, partial recursive function, or μ-recursive function
이것은 부분함수,partial_function. 이것이 total_function이면 total recursive function = total_recursive_function 이 되며, 가끔 그냥 recursive function = recursive_function 으로 줄여 부름. "(sometimes shortened to recursive function)"
// MKL 재귀함수,recursive_function
primitive_recursive_function { primitive recursive function 원시재귀함수 (wk) https://ko.wikipedia.org/wiki/원시_재귀_함수 https://en.wikipedia.org/wiki/Primitive_recursive_function 원시재귀함수 원시재귀함수 primitive recursive function primitive recursive function }
에 밀접. ... 모든 total r.f.가 primitive r.f인 것은 아님. (ex. Ackermann_function https://en.wikipedia.org/wiki/Ackermann_function )
μ는 minimization_operator. { minimization operator 최소화 연산자 / 작용소 ? 최소화,minimization 연산자,operator 작용소,operator ... https://en.wikipedia.org/wiki/Μ_operator ... minimization operator (2023-08-12 없음. 전체검색으로 나가보면 vg 나옴.) minimization operator mu operator }
corresp ko interwiki:
https://ko.wikipedia.org/wiki/Μ-재귀_함수