Wiśniewski Kazimierz

A notion of the acceptance of infinite sequences by finite automata