• Nenhum resultado encontrado

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

N/A
N/A
Protected

Academic year: 2017

Share "Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)"

Copied!
15
0
0

Texto

Loading

Imagem

Table 1: Operational rules for ACP ∗ 0,1 (A, γ), with a ∈ A and H ⊆ A.
Figure 1: A transition system in BPA ∗ 0,1 (A) with a cycle with multiple exit transitions.
Figure 2: A non-trivial strongly connected component in BPA ∗ 0,1 (A) with multiple exit transitions.
Figure 5: An ACP ∗ 0,1 (A, γ)-expressible automaton that is not expressible in PA ∗ 0,1 (A).

Referências

Documentos relacionados

Atuação do enfermeiro na assistência ao pré-natal de baixo risco na estratégia saúde da família em um município de Minas Gerais. Revista de enfermagem

6 Conclusions and future work In this paper we proposed a methodology to extract multi-word variant candidates in Portuguese and Galician using the original multi-word variants from

Esta variável também apresenta resultados curiosos na medida em que quando analisado tendo em conta todo o tipo de IMFs verifica-se que a sustentabilidade

From this, we identify the vertices of the skeleton with the minimum degree and we prove that the union of stars and triangles characterizes regular skeletons of the matching

Os processos naturais e humanos, em conjunto, são algo central para a crise hidrográfica global, bem como suas manifestações regionais (Srinivasan et al., 2012), que se

Como uma parte especial da cultura, não seria equivocado dizer que o direito desempenha um papel muito particular naquilo que foi primeiramente descrito por Horkheim ere Adorno como

A Política Municipal de Fomento à Economia Solidária no Município de Jaguaquara – Bahia será realizada através de programas específicos, projetos, criação de

Encontrada uma definição satisfatória para o termo Turismo Cultural; entendido que podemos falar de turismo cultural e turismo do património como sinónimos; podemos agora