A Formalisation of Finite Automata Using Hereditarily Finite Sets.

Lawrence C. Paulson

Published in: CADE (2015)

Keyphrases

finite automata
finite sets
piecewise linear
grammatical inference
regular expressions
linearly separable
positive and negative examples
hidden markov models
schema mappings
context free grammars
finite automaton
building blocks
hyperplane