Second-Order Finite Automata

DOI10.1007/978-3-030-50026-9_4OpenAlexW3036165475MaRDI QIDQ5042226

Mateus de Oliveira Oliveira, Alexsander Andrade de Melo

Publication date: 19 October 2022

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.12751

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Second-order finite automata: expressive power and simple proofs using automatic structures ⋮ Second-order finite automata ⋮ Properties of graphs specified by a regular language

Cites Work

• On the minimization of (complete) ordered binary decision diagrams
• Automata and concurrency
• Graph automata
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• On the Width of Ordered Binary Decision Diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Second-Order Finite Automata