2 votes

Formal grammar of MIU system

As Hendrik Jan remarked, the MIU-rules as a string rewriting system is not a semi-Thue system. Each string rewriting rule in a semi-Thue system does not care about context. A step of rewriting in a ...
user avatar
  • 34.7k

Only top scored, non community-wiki answers of a minimum length are eligible