Optimal Synthesis of Finite State Machines with Universal Gates using Evolutionary Algorithm.

Noor Ullah Khawaja M. Yahya Irfan Ahmed

Published in: CoRR (2024)

Keyphrases

finite state machines
evolutionary algorithm
finite state automata
model checking
multi objective
dynamic programming
pattern matching
evolutionary computation
multi objective optimization
regular expressions
digital circuits
program synthesis
worst case
database
knowledge base
crossover operator
neural network