Melnikov, B. and Melnikova, A. (2011) Multi Aspect Minimization of Nondeterministic Finite Automata (Part I. Auxiliary Facts and Algorithms). University Proceedings. Volga Region. Physical and Mathematical Sciences, 4, 59-69. (In Russian)

has been cited by the following article:

• TITLE: A Program Study of the Union of Semilattices on the Set of Subsets of Grids of Waterloo Language

  AUTHORS: Mikhail E. Abramyan, Boris F. Melnikov

  KEYWORDS: Nondeterministic Finite Automata, Universal Automaton, Basic Automaton, Grid, Covering Automaton, Equivalent Transformation Algorithms, Water-loo Automaton

  JOURNAL NAME: Journal of Applied Mathematics and Physics, Vol.11 No.5, May 31, 2023

  ABSTRACT: The aim is to study the set of subsets of grids of the Waterloo language from the point of view of abstract algebra and graph theory. The study was conducted using the library for working with transition graphs of nondeterministic finite automata NFALib implemented by one of the authors in C#, as well as statistical methods for analyzing algorithms. The results are regularities obtained when considering semilattices on a set of subsets of grids of the Waterloo language. It follows from the results obtained that the minimum covering automaton equivalent to the Waterloo automaton can be obtained by adding one additional to the minimum covering set of grids.