System Thuego

Z testwiki

Wersja z dnia 08:22, 24 lut 2024 autorstwa imported>Mpn (Zostawiono po dyskusji: Wikipedia:Poczekalnia/artykuły/2024:02:09:System_Thuego)

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

Przejdź do nawigacji Przejdź do wyszukiwania

Szablon:Dopracować System Thuego to system półthueowski (ang. semi-Thue system), w którym wszystkie reguły przepisywania są odwracalne, tj. jeśli $w \to v$ jest regułą, to $v \to w$ również jest regułą.

Źródło: „https://pl.wiki.beta.math.wmflabs.org/w/index.php?title=System_Thuego&oldid=4199”

Języki formalne