Interval Logics and ωB-Regular Languages
| Autor: | Angelo Montanari, Pietro Sala |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | Language and Automata Theory and Applications ISBN: 9783642370632 LATA |
| Popis: | In the recent years, interval temporal logics are emerging as a workable alternative to more standard point-based ones. In this paper, we establish an original connection between these logics and ωB-regular languages. First, we provide a logical characterization of regular (resp., ω-regular) languages in the interval logic \(A\mspace{-0.3mu}B\bar{B}\) of Allen’s relations meets, begun by, and begins over finite linear orders (resp., ℕ). Then, we lift such a correspondence to ωB-regular languages by substituting \(A\mspace{-0.3mu}B\bar{B}\bar{A}\) for \(A\mspace{-0.3mu}B\bar{B}\) (\(A\mspace{-0.3mu}B\bar{B}\bar{A}\) is obtained from \(A\mspace{-0.3mu}B\bar{B}\) by adding a modality for Allen’s relation met by). In addition, we show that new classes of extended (ω-)regular languages can be naturally defined in \(A\mspace{-0.3mu}B\bar{B}\bar{A}\). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|