Finite Automata in Hereditarily Finite Set Theory.
Lawrence C. PaulsonPublished in: Arch. Formal Proofs (2015)
Keyphrases
- finite automata
- set theory
- fuzzy set theory
- partial order
- regular expressions
- deterministic automata
- rough sets
- first order logic
- grammatical inference
- fuzzy sets
- mathematical morphology
- rough set theory
- tree automata
- image analysis
- finite automaton
- probability theory
- neural network
- description logics
- hidden markov models
- knowledge discovery
- probability distribution
- data model
- decision making