Zobrazeno 1 - 10
of 214
pro vyhledávání: '"Zoltán Ésik"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 252, Iss Proc. AFL 2017, Pp 101-113 (2017)
Let S be a complete star-omega semiring and Sigma be an alphabet. For a weighted omega-pushdown automaton P with stateset 1...n, n greater or equal to 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S<
Externí odkaz:
https://doaj.org/article/ea562d73cb8c4c9897e572461fc751d1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 191, Iss Proc. FICS 2015, Pp 48-59 (2015)
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix
Externí odkaz:
https://doaj.org/article/4d70eb6dd1754cc39fd927627ed3eb66
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 252, Iss Proc. AFL 2017, Pp 101-113 (2017)
AFL
AFL
Let S be a complete star-omega semiring and Sigma be an alphabet. For a weighted omega-pushdown automaton P with stateset 1...n, n greater or equal to 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S<
Autor:
Christian Choffrut, Zoltán Ésik
Publikováno v:
Theoretical Computer Science. 737:19-39
Partial words are in our terminology isomorphism classes of labeled partial orders. We consider two structures. Starting with the partial orders reduced to a unique element, the first one is defined as the closure under the three operations of series
Publikováno v:
Acta Cybernetica, Vol. 23, no.1, p. 203-228 (2017)
Energy problems are important in the formal analysis of embedded or autonomous systems. With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce energy automata. These are finite automata whose edge
Autor:
Werner Kuich, Zoltán Ésik
Publikováno v:
Acta Cybernetica. 23:61-79
We associate with every commutative continuous semiring S and alphabet Σ a category whose objects are all sets and a morphism X → Y is determined by a function from X into the semiring of formal series S⟪(Y⊎Σ)*⟫ of finite words over Y⊎Σ,
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 191, Iss Proc. FICS 2015, Pp 48-59 (2015)
Proceedings Tenth International Workshop on Fixed Points in Computer Science
Proceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59
FICS
Proceedings Tenth International Workshop on Fixed Points in Computer Science
Proceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59
FICS
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix
Autor:
Zoltán Fülöp, Zoltán Ésik
Publikováno v:
Acta Cybernetica. 22:243-246
Autor:
Zoltán Ésik, Szabolcs Iván
Publikováno v:
International Journal of Foundations of Computer Science. 25:1001-1015
We give a Kleene-type operational characterization of Muller context-free languages (MCFLs) of well-ordered and scattered words.