First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.

Shufang Zhu Geguang Pu Moshe Y. Vardi

Published in: CoRR (2019)

Keyphrases

higher order
machine translation
cellular automata
first order logic
automata theoretic
high order
context free
finite state
query translation
quantifier elimination
knowledge base
information extraction
regular expressions