| M-finite Thickness |
Shopping Thickness |
Website Links For Finite |
Information AboutM-finite Thickness |
| CATEGORIES ABOUT FINITE THICKNESS | |
| formal languages | |
|
We say that satisfies the MEF-condition if for each string s and each consistent language L in the class, there is a minimal consistent language in , which is a sublanguage of L. Symmetrically, we say that satisfies the '''MFF-condition''' if for every string s there are only finite minimal consistent languages in . Finally, is said to have '''M-finite thickness''' if it satisfies both the MEF and MFF conditions. M-finite thickness should be compared with finite thickness. While finite thickness implies the existence of a mind change bound, M-finite thickness does not. For example, let be a class of languages such that then there is no mind change bound for this class. |
|
|