Ciência da Computação

7
Vai

Vai L={a∗b∗}L={a∗b∗}L = \{a^* b^*\} ser classificado como um idioma regular? Estou confuso porque sei que L={anbn}L={anbn}L = \{a^n b^n\}não é regular. Que diferença faz a estrela

7
Existem implementações da máquina G sem etiqueta que não o GHC?

De Simon Peyton Jones (recente membro da Royal Society), lemos o artigo: Implementando linguagens funcionais preguiçosas no hardware de estoque: a G-Machine Spineless Tagless . Agora, este artigo é parte de como eles fizeram do Haskell uma linguagem preguiçosa quando a estavam implementando e...

7
Executando programas para trás

Eu nunca usei um depurador que pode executar um programa para trás, mas gostaria. Agora, pergunto-me se há muita evidência e teoria sobre programação executável reversa, quando e por que um programa pode ser executado inversamente ou quando e por que não? Intuitivamente, acho que o computador deve...