Contribuições do(a) usuário(a) Lfn2
Aspeto
De Lfn2 discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 25 edições. Conta criada a 17 de abril de 2013.
19 de fevereiro de 2015
- 20h31min20h31min de 19 de fevereiro de 2015 dif his +134 Máquina X
- 18h22min18h22min de 19 de fevereiro de 2015 dif his +95 Máquina X
- 18h13min18h13min de 19 de fevereiro de 2015 dif his +58 m Máquina X Tradução Etiqueta: Editor Visual
- 18h08min18h08min de 19 de fevereiro de 2015 dif his +19 145 N Máquina X nova página: A '''Máquina-X''' (''XM'') é um modelo de computação teórico introduzido por Samuel Eilenberg em 1974.<ref name="Eil74">S. Eilenberg (1974) ''Automata, Languages an...
3 de março de 2014
- 21h51min21h51min de 3 de março de 2014 dif his +114 Conversão de expressões regulares para AFD/AFN →De AFN para AFD
- 21h14min21h14min de 3 de março de 2014 dif his +247 Conversão de expressões regulares para AFD/AFN →De AFN para AFD
- 21h11min21h11min de 3 de março de 2014 dif his −9 Conversão de expressões regulares para AFD/AFN →Caso 4: F' = {R \epsilon Q' | R contém um estado de aceitação de N}
- 21h11min21h11min de 3 de março de 2014 dif his +64 Conversão de expressões regulares para AFD/AFN →Caso 4: F' = {R \epsilon Q' | R contém um estado de aceitação de N}
- 21h09min21h09min de 3 de março de 2014 dif his +863 Conversão de expressões regulares para AFD/AFN →De AFN para AFD
- 21h02min21h02min de 3 de março de 2014 dif his +63 Conversão de expressões regulares para AFD/AFN →De AFN para AFD
- 21h01min21h01min de 3 de março de 2014 dif his +35 Conversão de expressões regulares para AFD/AFN →Caso 4: F' = {R \epsilon Q' | R N}
- 21h00min21h00min de 3 de março de 2014 dif his −36 Conversão de expressões regulares para AFD/AFN →Caso 4: F' = {R \epsilon Q' | R contém um estado de aceitação de N}
- 20h58min20h58min de 3 de março de 2014 dif his +211 Conversão de expressões regulares para AFD/AFN →De AFN para AFD
- 20h56min20h56min de 3 de março de 2014 dif his +88 Conversão de expressões regulares para AFD/AFN →Caso 3: q_0' = {q_0}
- 20h55min20h55min de 3 de março de 2014 dif his +45 Conversão de expressões regulares para AFD/AFN →De AFN para AFD
- 20h54min20h54min de 3 de março de 2014 dif his −15 Conversão de expressões regulares para AFD/AFN
- 20h35min20h35min de 3 de março de 2014 dif his +211 Conversão de expressões regulares para AFD/AFN
23 de abril de 2013
21 de abril de 2013
- 06h46min06h46min de 21 de abril de 2013 dif his −52 Aritmética primitiva recursiva →Links externos
- 06h44min06h44min de 21 de abril de 2013 dif his +1 Aritmética primitiva recursiva →References
- 06h44min06h44min de 21 de abril de 2013 dif his +1 Aritmética primitiva recursiva →Cálculo livre de conectivos lógicos
- 06h40min06h40min de 21 de abril de 2013 dif his +10 Aritmética primitiva recursiva
- 06h36min06h36min de 21 de abril de 2013 dif his 0 Aritmética primitiva recursiva →Linguagem e axiomas
- 06h33min06h33min de 21 de abril de 2013 dif his −1 Aritmética primitiva recursiva
20 de abril de 2013
- 19h07min19h07min de 20 de abril de 2013 dif his +6 123 N Aritmética primitiva recursiva nova página: '''Aritmética Primitiva Recursiva'''(APR), é uma formalização dos números naturais, livre de quantificadores. Foi primeiramente proposta por Skolem, como uma...