Efficient Induction of Finite State Automata

02/06/2013
by   Matthew S. Collins, et al.
0

This paper introduces a new algorithm for the induction if complex finite state automata from samples of behavior. The algorithm is based on information theoretic principles. The algorithm reduces the search space by many orders of magnitude over what was previously thought possible. We compare the algorithm with some existing induction techniques for finite state automata and show that the algorithm is much superior in both run time and quality of inductions.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 6

page 7

page 8

page 9

research
12/08/2018

Efficient Concept Induction for Description Logics

Concept Induction refers to the problem of creating complex Description ...
research
07/04/2019

Revisiting local time semantics for networks of timed automata

We investigate a zone based approach for the reachability problem in tim...
research
09/21/2022

Schema-Based Automata Determinization

We propose an algorithm for schema-based determinization of finite autom...
research
03/27/2013

Induction, of and by Probability

This paper examines some methods and ideas underlying the author's succe...
research
10/04/2019

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)

We propose an efficient algorithm for determinising counting automata (C...
research
05/16/2014

Leveraging Evolutionary Search to Discover Self-Adaptive and Self-Organizing Cellular Automata

Building self-adaptive and self-organizing (SASO) systems is a challengi...
research
07/03/2022

An Improved Algorithm for Finding the Shortest Synchronizing Words

A synchronizing word of a deterministic finite complete automaton is a w...

Please sign up or login with your details

Forgot password? Click here to reset