Fork me on GitHub
Math for the people, by the people.

User login

semi-Thue system

Defines: 
antecedent, consequent, immediately derivable, derivable, defining relation, word problem for semi-Thue systems, semi-Thue production, generable by a semi-Thue system
Synonym: 
rewriting rule, rewrite rule, rewriting system, semi-Thue generable
Type of Math Object: 
Definition
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

68Q42 no label found03D40 no label found20M35 no label found03D03 no label found

Subscribe to Comments for "semi-Thue system"