Tekst źródłowy strony System Thuego

← System Thuego

Przejdź do nawigacji Przejdź do wyszukiwania

Nie masz uprawnień do edytowania tej strony z następującego powodu:

Wykonywanie tej operacji zostało ograniczone do użytkowników w grupie Użytkownicy.

Tekst źródłowy strony można podejrzeć i skopiować.

{{dopracować|źródła=2021-12}}
'''System Thuego''' to [[system półthueowski]] (ang. semi-Thue system), w którym wszystkie reguły przepisywania są odwracalne, tj. jeśli <math>w \rightarrow v</math> jest regułą, to <math>v \rightarrow w</math> również jest regułą.

[[Kategoria:Języki formalne]]

Szablon użyty w tym artykule:

Szablon:Dopracować (tekst źródłowy)

Wróć do System Thuego.

Źródło: „https://pl.wiki.beta.math.wmflabs.org/wiki/System_Thuego”