Regular languages are Church-Rosser congruential
© 2015 ACM 0004-5411/2015/10-ART32 15.00. This article shows a general result about finite monoids and weight reducing string rewriting systems. As a consequence it proves a long standing conjecture in formal language theory: All regular languages are Church-Rosser congruential. The class of Church-...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Default Article |
Published: |
2015
|
Subjects: | |
Online Access: | https://hdl.handle.net/2134/31954 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|