Example image of eyePlorer eyePlorer map for 'Finite state transducer': Finite-state machine Formal language Indicator function Regular language Nondeterminism Binary relation Morphology (linguistics) Natural language processing Empty string Finite set Subset Directed graph Transitive closure If and only if Semiring Union (set theory) Kleene star Composition of relations Decidable Undecidable Mealy machine Moore machine Handel (bioinformatics software package) Levenshtein automaton Jorge Stolfi Apertium Cone (formal languages) FST