Titlebook: Implementation and Application of Automata; 18th International C Stavros Konstantinidis Conference proceedings 2013 Springer-Verlag Berlin

无畏

Asseverate

Compass

Brzozowski’s Minimization Algorithm—More Robust than Expectedce Brzozowski’s minimization algorithm by some sort of reachability information so that it can be applied to the following automata models: deterministic cover automata, almost equivalent deterministic finite state machines, and .-similar automata.

最低点

REIGN

Biguanides

琐碎

Meander

commute

Partial Word DFAsed with a “hole” symbol ⋄. If we restrict what the symbol ⋄ can represent, we can use partial words to compress the representation of regular languages. Doing so allows the creation of so-called ⋄-DFAs which are smaller than the DFAs recognizing the original language ., which recognize the compresse

狂怒

Using Regular Grammars for Event-Based Testing in BNF, will then be systematically modified by well-defined mutation operators in order to generate fault models, called .. Specific algorithms apply to both the model of the system under consideration and the mutants to generate test cases. While existing methods focus on single events the approa