The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Hi-index | 0.10 |
Identification of automata from input/output sequences can be useful for the understanding of their functioning when differences appear between a theoretical behaviour and a real one. Two new inference algorithms are presented which are based on a sequential learning scheme: The different states are discovered through an induction-contradiction-discrimination procedure.