Minimisation of acyclic deterministic automata in linear time

This publication has 5 references indexed in Scilit:

• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Partitioning a graph in O(¦A¦log2¦V¦)
  Theoretical Computer Science, 1982
• Finite Automata and Their Decision Problems
  IBM Journal of Research and Development, 1959
• The synthesis of sequential switching circuits
  Journal of the Franklin Institute, 1954