„regular languages“

Suchergebnisse

304 Treffer

• Widths of Regular and Context-Free Languages
  Mestel, David 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cyclic Proofs and Jumping Automata
  Kuperberg, Denis ; Pinault, Laureline ; Pous, Damien 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sliding Window Property Testing for Regular Languages
  Ganardi, Moses ; Hucke, Danny ; Lohrey, Markus ; Starikovskaya, Tatiana 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reordering Derivatives of Trace Closures of Regular Languages
  Maarand, Hendrik ; Uustalu, Tarmo 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages
  Ciancia, Vincenzo ; Venema, Yde 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Uniformisation Gives the Full Strength of Regular Languages
  Lhote, Nathan ; Michielini, Vincent ; Skrzypczak, Michał 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On All Things Star-Free (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Place, Thomas ; Zeitoun, Marc 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Mahler’s Theorem for Word Functions (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Pin, Jean-Éric ; Reutenauer, Christophe 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Separation for Levels in Concatenation Hierarchies
  Place, Thomas ; Zeitoun, Marc 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approximating Probabilistic Automata by Regular Languages
  Chadha, Rohit ; Sistla, A. Prasad ; Viswanathan, Mahesh 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Separability of Well-Structured Transition Systems
  Czerwinski, Wojciech ; Lasota, Slawomir ; Meyer, Roland ; Muskalla, Sebastian ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves
  Brengos, Tomasz 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Separating Without Any Ambiguity
  Place, Thomas ; Zeitoun, Marc 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Randomized Sliding Window Algorithms for Regular Languages
  Ganardi, Moses ; Hucke, Danny ; Lohrey, Markus 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automata Theory on Sliding Windows
  Ganardi, Moses ; Hucke, Danny ; König, Daniel ; Lohrey, Markus ; Mamouras, Konstantinos 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Characterisation of Pi^0_2 Regular Tree Languages
  Cavallari, Filippo ; Michalewski, Henryk ; Skrzypczak, Michal 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Language Distance and Entropy
  Parker, Austin J. ; Yancey, Kelly B. ; Yancey, Matthew P. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polishness of Some Topologies Related to Automata
  Carton, Olivier ; Finkel, Olivier ; Lecomte, Dominique 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the (In)Succinctness of Muller Automata
  Boker, Udi 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Querying Regular Languages over Sliding Windows
  Ganardi, Moses ; Hucke, Danny ; Lohrey, Markus 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik