2 citations · 2 across the 1 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
Saturation Problems for Families of Automata
León Bohn, Yong Li, Christof Löding +1
Families of deterministic finite automata (FDFA) represent regular -languages through their ultimately periodic words (UP-words). An FDFA accepts pairs of words, where the first…
cs.FL2021★ 2 cited
Constructing deterministic -automata from examples by an extension of the RPNI algorithm
León Bohn, Christof Löding
The RPNI algorithm (Oncina, Garcia 1992) constructs deterministic finite automata from finite sets of negative and positive example words. We propose and analyze an extension of th…