「帰納的可算言語」の版間の差分

削除された内容 追加された内容
江口磐世☆ (会話 | 投稿記録)
m lang
MakoBot (会話 | 投稿記録)
m Robot adding DEFAULTSORT
31行目:
* Kozen, D.C. (1997), ''Automata and Computability'', Springer.
 
[[Category{{DEFAULTSORT:数理論理学|きのうてきかさんけんこ]]}}
[[Category:形式言語|きのうてきかさんけんこ数理論理学]]
[[Category:計算理論|きのうてきかさんけんこ形式言語]]
[[Category:計算理論]]
[[Category:数学に関する記事]]