Finite automata on directed graphs
From MaRDI portal
Publication:1191024
DOI10.1016/0022-0000(92)90012-8zbMATH Open0749.68054OpenAlexW2125604350MaRDI QIDQ1191024FDOQ1191024
Shlomit S. Pinter, Michael Kaminski
Publication date: 27 September 1992
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(92)90012-8
Recommendations
- scientific article; zbMATH DE number 3858446
- Finite automata with undirected state graphs
- Finite automata with undirected state graphs
- On congruences of automata defined by directed graphs
- scientific article; zbMATH DE number 7604432
- Automata on Directed Graphs: Edge Versus Vertex Marking
- Graph automata
- scientific article; zbMATH DE number 3882460
- Finite graph automata for linear and boundary graph languages
- Cyclic automata networks on finite graphs
Cites Work
- Parallel program schemata
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Testing and generating infinite sequences by a finite automaton
- An Algorithm for the General Petri Net Reachability Problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tree acceptors and some of their applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (15)
- Title not available (Why is that?)
- Automata on Directed Graphs: Edge Versus Vertex Marking
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A branching time logic with past operators
- Nondeterminism versus determinism of finite automata over directed acyclic graphs
- Title not available (Why is that?)
- Graph automata
- Mathematical Foundations of Computer Science 2004
- Title not available (Why is that?)
- A Correction and Some Comments Concerning Graph Isomorphism by Finite Automata
- Some machines defined by directed graphs
- Title not available (Why is that?)
- Finite graph automata for linear and boundary graph languages
This page was built for publication: Finite automata on directed graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1191024)
