Praca doktorska
Ładowanie...
Licencja
Korzystanie z tego materiału możliwe jest zgodnie z właściwymi przepisami o dozwolonym użytku lub o innych wyjątkach przewidzianych w przepisach prawa. Korzystanie w szerszym zakresie wymaga uzyskania zgody uprawnionego.The Single-Use Restriction for Register Automata and Transducers over Infinite Alphabets
Autor
Stefański, Rafał
Promotor
Data publikacji
2023-12-05
Słowa kluczowe PL
automaty rejestrowe
automaty Mealy’ego
dekompozycje Krohna-Rhodesa
logika liniowa
liniowe systemy typów
monoidy
monoidy skończenie orbitowe
zbiory z atomami
zbiory nominalne
funkcje regularne
funkcje wymierne na słowach
warunek jednorazowości
transduktory
automaty
języki regularne
nieskończone alfabety
Inny tytuł
Warunek jednorazowości dla automatów i transduktorów rejestrowych nad nieskończonymi alfabetami
Data obrony
2023-12-15
Licencja otwartego dostępu
Dozwolony użytek