- Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness
2017/12/31 by Daniele D'Angeli, Daniele D’Angeli, Emanuele Rodaro +1 · 9 citations
Computer Science · Mathematics · #Automaton #Büchi automaton #Cellular Automata and Applications #Decidability #Deterministic automaton #Geometric and Algebraic Topology #Invertible matrix #Reversible cellular automaton #Semigroup #Two-way deterministic finite automaton #Undecidable problem #acm:08A99 #acm:20A99 #acm:20E08 #acm:20F05 #acm:20F10 #acm:20M05 #acm:20M30 #cs.FL #math.GR #msc:08A99 #msc:20A99 #msc:20E08 #msc:20F05 #msc:20F10 #msc:20M05 #msc:20M30 #semigroups and automata theory