Weighted recognizability over infinite alphabets
We introduce weighted variable automata over infinite alphabets and commutative semirings. We prove that the class of their behaviors is closed under sum, and under scalar, Hadamard, Cauchy, and shuffle products, as well as star operation. Furthermore, we consider rational series over infinite alpha...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2017
|
| Sorozat: | Acta cybernetica
23 No. 1 |
| Kulcsszavak: | Automaták elmélete - véges, Algebra, Véges automaták, Matematikai logika, Matematikai nyelvészet - számítógépes nyelvészet |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.23.1.2017.16 |
| Online Access: | http://acta.bibl.u-szeged.hu/50074 |
| LEADER | 01611nab a2200253 i 4500 | ||
|---|---|---|---|
| 001 | acta50074 | ||
| 005 | 20220620153409.0 | ||
| 008 | 180212s2017 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 024 | 7 | |a 10.14232/actacyb.23.1.2017.16 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Pittou Maria | |
| 245 | 1 | 0 | |a Weighted recognizability over infinite alphabets |h [elektronikus dokumentum] / |c Pittou Maria |
| 260 | |c 2017 | ||
| 300 | |a 283-317 | ||
| 490 | 0 | |a Acta cybernetica |v 23 No. 1 | |
| 520 | 3 | |a We introduce weighted variable automata over infinite alphabets and commutative semirings. We prove that the class of their behaviors is closed under sum, and under scalar, Hadamard, Cauchy, and shuffle products, as well as star operation. Furthermore, we consider rational series over infinite alphabets and we state a Kleene-Schützenberger theorem. We introduce a weighted monadic second order logic and a weighted linear dynamic logic over infinite alphabets and investigate their relation to weighted variable automata. An application of our theory, to series over the Boolean semiring, concludes to new results for the class of languages accepted by variable automata. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Automaták elmélete - véges, Algebra, Véges automaták, Matematikai logika, Matematikai nyelvészet - számítógépes nyelvészet | ||
| 700 | 0 | 1 | |a Rahonis George |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/50074/1/actacyb_23_1_2017_16.pdf |z Dokumentum-elérés |