30 citations · 111 across the 17 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.FL2018★ 10 cited
Regular omega-Languages with an Informative Right Congruence
Dana Angluin, Dana Fisman
A regular language is almost fully characterized by its right congruence relation. Indeed, a regular language can always be recognized by a DFA isomorphic to the automaton correspo…
cs.FL2018
Streamable Regular Transductions
Rajeev Alur, Dana Fisman, Konstantinos Mamouras +2
Motivated by real-time monitoring and data processing applications, we develop a formal theory of quantitative queries for streaming data that can be evaluated efficiently. We cons…
cs.LO2018★ 2 cited
Query learning of derived -tree languages in polynomial time
Dana Angluin, Timos Antonopoulos, Dana Fisman
We present the first polynomial time algorithm to learn nontrivial classes of languages of infinite trees. Specifically, our algorithm uses membership and equivalence queries to le…