JERZY TIURYN
ALGEBRAICZNE PODSTAWY TEORII MASZYN 

PWN 19785  ,stan db+ (podniszczona lekko okładka), str.74 

ISBN 

 

Praca dotyczy algebraicznych własności maszyn liczących. Ponieważ maszyny adresowe (traktowane jako modele maszyn liczących) mają bardzo złożoną strukturę algebraiczną, to przyporządkowano każdej maszynie adresowej, nowy, prostszy obiekt, nazywany M-grupoidem. Pokazano, że kategoria maszyn adresowych i kategoria M-grupoidów są równoważne i w związku z tym badanie pewnych własności maszyn adresowych można zastąpić badaniem odpowiednich własności M-grupoidów.
Zdefiniowano pojęcie stałego programu na M-grupoidzie. Zbadano podstawowe algebraiczne własności M-grupoidów oraz własności homomorfizmów między M-grupoidami. Udowodniono, że każda grupa jest grupą automorfizmów pewnego M-grupoidu (oraz pewnej maszyny adresowej).
Podano warunki konieczne i dostateczne na podprostą rozkładalność M-grupoidów.

SPIS TREŚCI
Wstęp
1. Rola M-grupoidów w teorii maszyn
1.1. Kategoria maszyn
1.2. M-grupoidy i ich związek z maszynami
1.3. Topologia naturalna na M-grupoidach
1.4. Programy w M-grupoidach
1.5. Przykłady
2. Algebraiczne własności M-grupoidów
2.1. Homomorfizmy
2.2. Kongruencje. M-grupoidy ilorazowe.
2.3. Proste produkty M-grupoidów
2.4. Automorfizmy M-grupoidów
3. Dekompozycje M-grupoidów
3.1. Wstępne pojęcia
. 3.2. Podprosta podzielność M-grupoidów
Spis oznaczeń
Literatura

Zapraszam na inne moje aukcje