Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words

Paul Gustafson, Mee Seong Im, Mikhail Khovanov

Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where…