Charles Explorer logo
🇨🇿

Derivační složitost {aa-->bc, bb-->ac, cc-->ab}

Publikace na Filozofická fakulta |
2009

Tento text není v aktuálním jazyce dostupný. Zobrazuje se verze "en".Abstrakt

We study the derivational complexity of Zantema?s string rewriting system over the alphabet {a, b, c} with the set of rules {aa -> bc, bb -> ac, cc -> ab}.