Comparative Study of Performance of Tabulation and Partition Method for Minimization of DFA
- 17 Downloads
Automata is a machine that executes a set of functions in compliance with a seeded set of instructions. An automata is said to be finite automata if at any point of time, the machine can be in exactly one state among a finite set of states. Finite automata are categorized into two types: DFA and NFA. Deterministic finite automata is a finite and restricted state machine, where for every inserted symbol, there exists one and only one unique and idiosyncratic transition from a given particular state. Non-deterministic finite automata are a finite and restricted state machine where for every inserted symbol or character, there exist zero or one or more transitions on a given input symbol. Minimization of DFA involves reducing the number of states in a DFA and reaches the solution in lesser number of states. Since DFA is a rudimentary element of any computation machine, minimizing the number of states can reduce the computational time and increase the efficiency. Two algorithms for minimization tabulation method and partition method are conferred in this paper. To evaluate the performance, both the methods were implemented in C and Java languages. The execution times of both algorithms are compared to evaluate the performances of the algorithms in these two languages. The initial and final transition diagrams are graphically generated using Graphviz software.
KeywordsAutomata DFA NFA Partition method Tabulation method Minimization
- 1.Srikanth Reddy, K., Lokesh Kumar Panwar, B.K. Panigrahi, and Rajesh Kumar. 2017. A New Binary Variant of Sine–Cosine Algorithm: Development and Application to Solve Profit-Based Unit Commitment Problem. Arabian Journal for Science and Engineering.Google Scholar
- 2.Motwani, Rajeev, and J.D. Ullman. 1979. Introduction to Automata, Languages and Computation.Google Scholar
- 3.Bjorklund, J., and L. Cleophas. 2009. A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata.Google Scholar
- 4.Sipser, M. 1996. Introduction to the Theory of Computation. Michael Sipser Surhone, L.M., M.T. Tennoe, and S.F. Henssonow. 2015. graphviz.Google Scholar
- 5.Kozen, D.C. 1997. Automata and Computability.Google Scholar
- 6.Liedig, J. 2003. Journal of Automata, Languages and Combinatorics. www.jalc.de.
- 7.Linz, P. 1990. Formal Languages and Automata. Race, R. 2014. Making Simple Automata.Google Scholar
- 8.van der Veen, E. 2007. The Practical Performance of Automata Minimization Algorithms.Google Scholar