Złożoność półgrupy charakterystycznej sumy prostej z iloczynu prostego automatów asynchronicznych silnie spójnych

• Autorzy: Bocian S.

Warianty tytułu

EN

Complexity of the characteristic semi-group of the direct sum and direct product of the strongly connected asynchronous automatons

• Konferencja: TRANSCOMP - International Conference Computer Systems Aided Science, Industry and Transport
• Języki publikacji: PL

Abstrakty

PL

Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Suma prosta i iloczyn prosty automatów można uważać za realizację - odpowiednio sekwencyjnych i równoległych obliczeń.

EN

The characteristic semi - group is the particularly essential conception in the automaton theory; it is the carrier of the important information and defines the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct sum and the direct product of automatons can be considered as the realization - the sequence and parallel calculations accordingly.

Słowa kluczowe

PL

półgrupa charakterystyczna; suma prosta; iloczyn prosty

EN

complexity; characteristic semi-group of automaton; direct sum

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2010
• Tom: nr 6
• Opis fizyczny: Pełny tekst na CD, Bibliogr. 26 poz., rys.

Twórcy

autor

Bocian S.

• Stanisław BOCIAN Instytut Pojazdów Szynowych „TABOR” POLSKA; Poznań 61-055; Warszawska 181. Telefon: + 48 (0)61 664 14 38,

Bibliografia

• [1] Arbib M.A.: Algebraic theory of machines languages and semigroups, Acadimic Press, New York and London 1968.
• [2] Aho A.V., Hopcrofy I.E., Ullman I.D.:Projektowanie i analiza algorytmów komputerowych,PWN,Warszawa 1983.
• [3] Barnes B.: On the groups of automorhism of strongly connected automata, Math.Syst. Theory 4, 4 (1970).
• [4] Beatty I. C.;On some properties of semigroup of a machine which are preserved under state minimization, Information and Control 11, 3 (1970).
• [5] Beyga L.: On periodic sums of automata associated with isomorphism, Foundations of Control Enginiering 1,3 (1976).
• [6] Bocian S.: Złożoność półgrupy charakterystycznej automatów asynchronicznych i ich rozszerzeń, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk nr 552, Warszawa, 1984.
• [7] Bocian S., Mikołajczak.: Computational aspect of assigning characteristic semigroup asychronous automata and their extensions, Colloqia Mathematica Societatis Janos Bolyai nr 44,Amsterdam, New York, Budapest, 1985.
• [8] Bocian S.: Rozprawa doktorska, Politechnika Poznańska,1986.
• [9] Bocian S.: The complexity of semigroup characterization of asynchronous strongly connected automaton and their extensions, Computational topology and geometry and computation in teaching mathematic, Universal de Sevilla,1987.
• [10] Bocian S.: A new method of calculating the smallest common multiple, Computational topology and geometry and computation in teaching mathematic, Universal de Sevilla,1987.
• [11] Bocian S.: Nowy sposób wyznaczania najmniejszej wspólnej wielokrotności liczb naturalnych, jako model matematyczny automatu w technice komputerowej, Pojazdy szynowe 1/2002.
• [12] Bocian S.: Złożoność pólgrupy charakterystycznej automatów asynchronicznych silnie spójnych ustalonych analogów ich rozszerzeń związanych z izomorfizmami, TRANSCOMP - XIII INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCES, INDUSTRY AND TRANSPORT, Zakopane 2009.
• [13] Bocian S.: Nowy sposób wyznaczania najmniejszej wspólnej wielokrotności liczb naturalnych, OR – 9834 (praca nie publikowana).
• [14] Fleck A.C.: Isomorphism groups of automata, J. Assoc. Comp. Mach. 9, 4 (1962).
• [15] Gecseg F.,Peak J.: Algebraic theory of automata, Akademia Kiado, Budapest, 1972.
• [16] Grzymała-Busse J.W.: On the periodic reprezentation and reducibility of periodic automata, J.Assoc. Comput. Mach. 16, 3(1969).
• [17] Grzymała-Busse J.W.: On the endomorphisms of finite automata, Mach. Syst. Theory 4, 4 (1970).
• [18] Grzymała-Busse J.W.: Podautomaty automatów skończonych związane ze zmianączsu pracy, Politechnika Poznańska, Rozprawy nr.46, Poznań, 1972.
• [19] Kerntopf P.: Podstawowe pojęcia matematyczne w teorii automatów, PWN, Warszawa 1967.
• [20] Mikołajczak B., Miądowicz Z.: On the automorphisms group of strongly related automata and structural properties of finite automata and extensions, Foundations of Control Engineering,1,2 (1976).
• [21] Mikołajczak B.: On the structure of cyclic automata and their generalized periodic sums, Technical Report, Computer Science Department, Cornell University, 1977.
• [22] Mikołajczak B.: On the structure of cyclic automata and their generalized periodic sums, Foundations of Control Engineering, 3,1 (1978).
• [23] Mikołajczak B.: Uogólnione przekształcenia okresowe automatów skończonych, Politechnika Poznańska, Rozprawy nr.98, Poznań 1979.
• [24] Mikołajczak B.: Algebraiczna i strukturalna teoria automatów, PWN Warszawa - Łódź, 1985.
• [25] Mikołajczak B.: Przekształcenia i złożoność obliczeniowa problemów w teorii automatów, PWN Warszawa – Poznań, 1988.
• [26] Oehmke R.H.: The semigroup of a strongly connected automaton, Math. Systems Theory, 15 (178).