Kleene theorems for skew formal power series

QR kód

Kleene theorems for skew formal power series

We investigate the theory of skew (formal) power series introduced by Droste, Kuske [5, 6], if the basic semiring is a Conway semiring. This yields Kleene Theorems for skew power series, whose supports contain finite and infinite words. We then develop a theory of convergence in semirings of skew po...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerző:	Kuich Werner
Testületi szerző:	International Conference on Automata and Formal Languages (11.) (2005) (Dobogókő)
Dokumentumtípus:	Cikk
Megjelent:	2006
Sorozat:	Acta cybernetica 17 No. 4
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12793

Hasonló tételek

Tree transducers and formal tree series
Szerző: Kuich Werner
Megjelent: (1999)

A Kleene theorem for weighted ω-pushdown automata
Szerző: Droste Manfred, et al.
Megjelent: (2017)

Kleene revisited by Suschkewitsch
Szerző: Pallo Jean Marcel
Megjelent: (2009)

On Kleene algebras of ternary co-relations
Szerző: Dolinka Igor
Megjelent: (2000)

An integrability theorem for power series
Szerző: Leindler László
Megjelent: (1976)

An integrability theorem for power series
Szerző: Leindler László, et al.
Megjelent: (1977)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

Formal properties of literal shuffle
Szerző: Bérard Béatrice
Megjelent: (1987)

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

Results concerning E0L and C0L power series
Szerző: Honkala Juha
Megjelent: (2000)

An application of truth functions in formalized diagnostics
Szerző: Ádám András
Megjelent: (1976)

An algebraic approach to energy problems I - continuous Kleene ω-algebras ‡
Szerző: Ésik Zoltán, et al.
Megjelent: (2017)

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

A new mathematical formalism for the TTCN 3 core language [abstract] /
Szerző: Jaskó Szilárd
Megjelent: (2004)

On the real-time recognition of formal languages in cellular automata
Szerző: Pecht J.
Megjelent: (1983)

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /
Szerző: Kovács József
Megjelent: (2006)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

Continuous semiring-semimodule pairs and mixed algebraic systems
Szerző: Ésik Zoltán, et al.
Megjelent: (2017)

On unambiguous number systems with prime power base
Szerző: Honkala Juha
Megjelent: (1992)

The power of deterministic alternating Tree-walking automata [abstract] /
Szerző: Muzamel Loránd
Megjelent: (2006)

An effective theorem proving algorithm
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977)

Finitely presentable tree series
Szerző: Bozapalidis Symeon, et al.
Megjelent: (2006)

Recognizable tree series with discounting
Szerző: Mandrali Eleni, et al.
Megjelent: (2009)

Pebble alternating tree-walking automata and their recognizing power
Szerző: Muzamel Loránd
Megjelent: (2008)

On continuability of power series
Szerző: Zygmund Antoni
Megjelent: (1934)

Remarks on power series
Szerző: Pólya György
Megjelent: (1950)

Norm relations and skew dilations
Szerző: Berger C. A., et al.
Megjelent: (1967)

Time series models on medical research [abstract] /
Szerző: Fazekas Mária
Megjelent: (2004)

Clustering financial time series on CUDA [abstract] /
Szerző: Bényász Gábor, et al.
Megjelent: (2010)

Two power-decreasing derivation restrictions in generalized scattered context grammars
Szerző: Masopust Tomáš, et al.
Megjelent: (2008)

An Erdős-Ko-Rado type theorem II
Szerző: Engel Konrad, et al.
Megjelent: (1986)

Properties of the fuzzy connectives in the light of the general representations theorem
Szerző: Dombi József
Megjelent: (1986)

The power of written feedback and the impact of generative artificial intelligence tools on writing past, present, and future : [abstract] /
Szerző: Mamad Abderrahim
Megjelent: (2024)

MAT learners for recognizable tree languages and tree series
Szerző: Drewes Frank
Megjelent: (2009)

Time series prediction using artificial intelligence methods [abstract] /
Szerző: Juhos István, et al.
Megjelent: (2002)

On power series with positive coefficients
Szerző: Khan Rais Shah
Megjelent: (1969)

Kleene algebras a case-study of clones and dualities from endomorphisms /
Szerző: Davey Brian A., et al.
Megjelent: (2001)