Inference of finite automata using homing sequences

@article{Rivest1989InferenceOF,
  title={Inference of finite automata using homing sequences},
  author={Ronald L. Rivest and Robert E. Schapire},
  journal={Inf. Comput.},
  year={1989},
  volume={103},
  pages={299-347}
}
We present new algorithms for inferring an unknown finite-state automaton from its input/output behavior <italic>in the absence of a means of resetting the machine to a start state</italic>. A key technique used is inference of a <italic>homing sequence</italic> for the unknown automaton. Our inference procedures experiment with the unknown machine, and from time to time require a teacher to supply counterexamples to incorrect conjectures about the structure of the unknown automaton. In this… 

Diversity-based inference of finite automata

  • R. RivestR. Schapire
  • Computer Science
    28th Annual Symposium on Foundations of Computer Science (sfcs 1987)
  • 1987
A new procedure for inferring the structure of a finitestate automaton (FSA) from its input/output behavior, using access to the automaton to perform experiments, based on the notion of equivalence between testa.

Regular Inference for State Machines with Parameters

The main new idea is to infer, for each state, a partitioning of input symbols into equivalence classes under the hypothesis that all input symbols in an equivalence class have the same effect on the state machine.

Efficient learning of typical finite automata from random walks

The main contribution of this paper is in presenting the first efficient algorithms for learning nontrivial classes of automata in an entirely passive learning model.

Inferring Automata and its Application to Compositional Verification WPEII : Critical Review Report

Given an oracle which can answer membership and equivalence queries for an unknown regular language, this work presents algorithms for learning the regular set perfectly and describes a modified learning algorithm which can be used to learn context-free grammars from their structural descriptions.

Learning finite cover automata from queries

  • F. Ipate
  • Computer Science
    J. Comput. Syst. Sci.
  • 2012

Eecient Learning of Typical Finite Automata from Random Walks Extended Abstract

This paper presents the rst e cient algorithms for learning non-trivial classes of automata in an entirely passive learning model, and adopts an on-line learning model in which the learner is asked to predict the output of the next state, given the next symbol of the random input sequence.

Regular Inference for State Machines Using Domains with Equality Tests

This work generalizes regular inference techniques to infer a class of state machines with an infinite state space and considers Mealy machines extended with state variables that can assume values from a potentially unbounded domain, to be the first extension of regular inference to infinite-state systems.

Inference of Event-Recording Automata Using Timed Decision Trees

This paper presents an algorithm for inferring a timed-automaton model of a system from information obtained by observing its external behavior, and first constructs a so called timed decision tree from observations of system behavior, which is thereafter folded into an automaton.

Inferring Automata with State-Local Alphabet Abstractions

This paper combines the automated alphabet abstraction approach, which refines the global alphabet of the system to be learned on the fly during the learning process, with the principle of state-local alphabets: rather than determining a single global alphabet, this approach infer the optimal alphabet abstraction individually for each state.

Active Learning for Extended Finite State Machines 12

A black-box active learning algorithm for inferring extended finite state machines (EFSM) by dynamic black- box analysis based on a novel learning model based on so-called tree queries that induces a generalization of the classical Nerode equivalence and canonical automata construction to the symbolic setting.
...

References

SHOWING 1-10 OF 21 REFERENCES

Diversity-based inference of finite automata

  • R. RivestR. Schapire
  • Computer Science
    28th Annual Symposium on Foundations of Computer Science (sfcs 1987)
  • 1987
A new procedure for inferring the structure of a finitestate automaton (FSA) from its input/output behavior, using access to the automaton to perform experiments, based on the notion of equivalence between testa.

Complexity of Automaton Identification from Given Data

  • E. M. Gold
  • Computer Science, Mathematics
    Inf. Control.
  • 1978

Reductions among prediction problems: on the difficulty of predicting automata

A notion of prediction-preserving reducibility is developed, and it is shown that if DFAs are predictable, then so are all languages in logspace and the predictability of all Booleman formulas.

Prediction-Preserving Reducibility

A Note on the Number of Queries Needed to Identify Regular Languages

  • D. Angluin
  • Computer Science, Mathematics
    Inf. Control.
  • 1981

The minimum consistent DFA problem cannot be approximated within and polynomial

It is shown that for any constant k, no polynomial time algorithm can be guaranteed to find a consistent DFA of size optk, where opt is the size of a smallest DFA consistent with the sample.

System identification via state characterization

Inductive Inference, DFAs, and Computational Complexity

The results discussed determine the extent to which DFAs can be feasibly inferred, and highlight a number of interesting approaches in computational learning theory.