Opis: 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
|