マイヒル-ネローデの定理
1. Myhill–Nerode theoremIn the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1958.
Read “Myhill–Nerode theorem” on English Wikipedia
Read “マイヒル-ネローデの定理” on Japanese Wikipedia
Read “Myhill–Nerode theorem” on DBpedia
Read “Myhill–Nerode theorem” on English Wikipedia
Read “マイヒル-ネローデの定理” on Japanese Wikipedia
Read “Myhill–Nerode theorem” on DBpedia
Discussions
Log in to talk about this word.