33 citations · 87 across the 16 of their papers we have counts for
1 paper · 2 filters
Ievgen Bondarenko, Jan Philipp Wächter
We devise an algorithm which, given a bounded automaton A, decides whether the group generated by A is finite. The solution comes from a description of the infinite sequences havin…