0votos

Sistemas de Post en Haskell

por josejuan hace 5 meses

Si no es por no implementar explícitamente los pasos de la máquina, es que usando pattern matching podemos usar Haskell directamente y además no será interpretado, sino que se compilará a código máquina. Pero ahí va.

Crear un simulador de sistemas de Post.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
run r w = maybe w (run r) $ listToMaybe $ catMaybes $ zipWith (\k d -> (d++) <$> lookup k r) (inits w) (tails w)  
 
  
 
  
 
  
 
{-  
 
> run [("00","1011"),("010", "1011"),("1011", "0"),("110", "000"),("1110", "000")] "00000000000000000000"  
"0"  
 
-} 

Comenta la solución

Tienes que identificarte para poder publicar tu comentario.