SHPORA.net :: PDA

[ Back ]

1. А->(В->А)

2. (А->(В->С))->((А->В)->(А->С))

1. А<*>В -> А

2. А<*>В -> В

3. (А->В)->((А->С)->(А->(В<*>С)))

1. А->А -дизъ- В

2. В->А -дизъ- В

3. (А->С)->((В->С)->(А -дизъ- В->С))

1. (А->В)->( -> )

2. A->

3. ->A