A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHM

DOI10.1142/S0129054108005577zbMATH Open1169.68495OpenAlexW2008737961MaRDI QIDQ3532144FDOQ3532144

Authors: Tinus Strauss, Derrick Kourie, B. W. Watson 

Publication date: 3 November 2008

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054108005577

Recommendations

• CSP for parallelising Brzozowski's DFA construction algorithm
• scientific article; zbMATH DE number 1955813
• Brzozowski's algorithm (co)algebraically
• Experimental Evaluation of Classical Automata Constructions
• Implementation and Application of Automata

zbMATH Keywords

construction algorithmBrzozowski's deterministic finite automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Derivatives of Regular Expressions
• An optimal parallel algorithm to convert a regular expression into its Glushkov automaton

Cited In (2)

• Hardware Implementations of Finite Automata and Regular Expressions
• CSP for parallelising Brzozowski's DFA construction algorithm

This page was built for publication: A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532144)