A NEW PROOF OF SCHUTZENBERGER'S THEOREM
2000 ◽
Vol 10
(02)
◽
pp. 217-220
◽
We prove the theorem of Schutzenberger that a language is star-free if and only if it is recognized by a finite monoid with trivial subgroups. The forward direction follows the lines of the proof of Kleene's Theorem which characterizes regular languages as those recognized by finite automata. The converse is a relatively short induction.
2012 ◽
Vol 23
(06)
◽
pp. 1207-1225
◽
Keyword(s):
2000 ◽
Vol 231
(1)
◽
pp. 103-111
◽