Modelování některých algebraických struktur poloautomaty

Modelling of some algebraic structures by semiautomata.

conference paper

Czech

V příspěvku autoři popisují binární operace sčítání a kartézské kompozice poloautomatů a relaci kvaziuspořádání na třídě všech poloautomatů. Je dokázáno, že třída všech bloků navzájem izomorfních poloautomatů s binární operací sčítání a relací uspořádání tvoří komutativní uspořádanou pologrupu a je naznačen směr dalšího možného výzkumu.

The authors describe in the contribution binary operations of addition and of cartesian composition of semiautomata and the relation of quasi-ordering on the class of all semiautomata. There is proved that the class of all blocks of mutually isomorphic semiautomata with the binary operation of addition is a commutative ordered semigroup and there is presented a direction of further possible investigations.

Poloautomat, kvazispořádaná třída, uspořádaná pologrupa, kartézská kompozice poloautomatů

Semiautomaton,quasi-ordered class, ordered semigroup, cartesian komposition of semiautomata

CHVALINA, J., MOUČKA, J.

2001

1. 1. 2001

VVŠ PV Vyškov

80-7231-071-2

Sborník příspěvků XIX. Mezinárodního kolokvia o řízení osvojovacího procesu

1

1

127

131

5

UMAT FEKT VUT Brno VVŠ PV Vyškov