[PDF][PDF] Holonomic functions and their relation to linearly constrained languages
P Massazza - RAIRO-Theoretical Informatics and Applications, 1993 - numdam.org
Holonomic functions and their relation to linearly constrained languages Page 1
INFORMATIQUE THÉORIQUE ET APPLICATIONS P. MASSAZZA Holonomic functions and …
INFORMATIQUE THÉORIQUE ET APPLICATIONS P. MASSAZZA Holonomic functions and …
On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)
L Clemente - arXiv preprint arXiv:2006.05275, 2020 - arxiv.org
We study the computational complexity of universality and inclusion problems for
unambiguous finite automata and context-free grammars. We observe that several such …
unambiguous finite automata and context-free grammars. We observe that several such …
Funções Geradoras em Recorrências Lineares
LSC de Sá, EVP Spreafico - PORANDU-Revista de Divulgação …, 2019 - periodicos.ufms.br
Funções geradoras são utilizadas como ferramenta na resolução de pro-blemas de
matemática discreta. Uma de suas principais vantagens é a capacidade de transformar …
matemática discreta. Uma de suas principais vantagens é a capacidade de transformar …
[PDF][PDF] Rational and Recognizable Complex Trace Languages
Mazurkiewicz de ned traces as an algebraic model of nite concurrent processes. In order to
modelize non-terminating processes a good notion of in nite trace was needed, which nally …
modelize non-terminating processes a good notion of in nite trace was needed, which nally …
[PDF][PDF] UNIVERSIT AT STUTTGART FAKULT AT INFORMATIK
I nite Traces, V Diekert, W Ebinger - researchgate.net
The workshop In nite Traces was held at T ubingen, Hotel Hospiz, from January 23 to 25,
1992. The idea to this workshop was born at the general ASMICS meeting at Menaggio. It is …
1992. The idea to this workshop was born at the general ASMICS meeting at Menaggio. It is …