Congruence Relations for Büchi Automata.

Yong Li Yih-Kuen Tsay Andrea Turrini Moshe Y. Vardi Lijun Zhang

Published in: FM (2021)

Keyphrases

cellular automata
finite automata
finite state
databases
information gain
information retrieval
search algorithm
regular expressions
binary relations
socio technical
tree automata