13 citations · 31 across the 11 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…