Automata system in finitelly generated groups
Dit artikel bewijst dat eindige systemen van interactieve automata in periodieke groepen beperkt blijven tot een eindig gebied van de Cayley-grafiek, terwijl aperiodieke groepen niet door dergelijke systemen kunnen worden verkend, tenzij de groep niet-periodieke elementen bevat, in welk geval drie horendjes voldoende zijn.