Incremental DFA Minimisation

DOI10.1007/978-3-642-18098-9_5zbMath1297.68103OpenAlexW1783952274MaRDI QIDQ3073619

Rogério Reis, Nelma Moreira, Marco Almeida

Publication date: 11 February 2011

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2014__48_2_173_0/

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

A split-based incremental deterministic automata minimization algorithm ⋮ From tree automata to string automata minimization

Uses Software

• FAdo
• GUItar

Cites Work

• Enumeration and generation with a string automata representation
• Efficiency of a Good But Not Linear Set Union Algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Incremental DFA Minimisation