|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 22 gevonden artikelen
| Titel: |
A Note on the Logical Definability of Rational Trace Languages |
| Auteur: |
Choffrut, Christian |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 116 (2012) nr. 1-4 pagina's 45-50 |
| Jaar: |
2012-05-16 |
| Inhoud: |
The regular languages in the free monoid generated by a finite alphabet A are exactly the languages that are the models of some sentence of the second-order monadic logic of one successor and a unary predicate for each letter. For trace monoids the natural extension obtained by adapting the successor to the partial order underlying the traces is insufficient to capture the family of their rational subsets. We show that these subsets can be expressed by formulas of the form ∃Γφ where φ is a first-order formula over the structure of traces and Γ is an n-ary predicate semantically restricted, where n is the cardinality of the alphabet. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 22 gevonden artikelen
| << vorige | volgende >> |