Teoria automatów
Z Wikipedii
Teoria automatów to dziedzina informatyki zajmująca się badaniem automatów - modeli maszyn liczących. Podstawowym modelem rozważanym w teorii automatów jest automat skończony (automat Moore'a) w różnych wersjach oraz jego rozszerzenia: Maszyna RAM, Maszyna Turinga, Maszyna wskaźnikowa i inne. Istnieje związek teorii automatów z teorią języków formalnych.
| KE żąda poprawek do planów restrukturyzacji stoczni |
|
Unijna komisarz ds. konkurencji Neelie Kroes, która spotkała się w środę z ministrem skarbu Aleksandrem Gradem, zażądała poprawek do planów restrukturyzacji polskich stoczni.
|
| Pawlak proponuje zniesienie składki na ZUS dla uprawnionych do wcześniejszych emerytur |
|
Wicepremier Waldemar Pawlak zaproponował, aby zwolnić osoby uprawnione do wcześniejszych emerytur z płacenia składek na ZUS.
|
| PIP: na budowach coraz niebezpieczniej |
|
W pierwszym kwartale tego roku, w porównaniu do tego samego okresu w 2007 r., ponad dwukrotnie - z 11 do 24 - wzrosła liczba śmiertelnych ofiar wypadków na budowach. Poszkodowanych było więcej o ok. 20 proc. - alarmuje Państwowa Inspekcja Pracy.
|
| W Rzeszowie powstanie elektrownia wodna |
|
Na jesieni rozpocznie się budowa elektrowni wodnej na rzeszowskiej zaporze. Oprócz części produkującej energię powstanie także tzw. przepławka, którą ryby będą mogły płynąć w górę rzeki.
|
| Grad: będzie "biała, a tak naprawdę czarna księga" w sprawie stoczni |
|
Minister skarbu Aleksander Grad zapowiedział w środę przedstawienie "białej, a tak naprawdę czarnej księgi" zaniedbań w sprawie polskich stoczni, która - jego zdaniem - po sejmowej debacie może doprowadzić do postanowienia osób odpowiedzialnych przed Trybunałem Stanu.
|