{"product_id":"teoriq-sinhroniziruemosti-von-mihail-berlinkow","title":"Teoriq sinhroniziruemosti","description":"\u003cp\u003eKniga poswqschena issledowaniü osnownyh woprosow teorii sinhroniziruemyh awtomatow. Awtomat nazywaetsq sinhroniziruemym, esli on obladaet slowom, dejstwie kotorogo perewodit awtomat w nekotoroe sostoqnie wne zawisimosti ot ishodnogo sostoqniq. Sootwetstwuüschee slowo nazywaetsq sinhroniziruemym. Dannoe ponqtie qwlqetsq ochen' estestwennym, tak kak sootwetstwuet swojstwam ustojchiwosti i uprawlqemosti dlq diskretnyh sistem, a sama teoriq aktiwno izuchaetsq uzhe bolee 40 let. Perwaq chast' knigi poswqschena osnownoj otkrytoj teoreticheskoj probleme - dokazatel'stwu kwadratichnoj (ot chisla sostoqnij awtomata) ocenki na dliny sinhroniziruüschih slow. V chastnosti, oprowergnuty wydwinutye izwestnymi uchenymi gipotezy, sprawedliwost' kotoryh byla podtwerzhdena imi dlq chastnyh sluchaew i wlekla by reshenie problemy w obschem sluchae. Na osnowe idej, swqazannyh s oprowerzheniem ätih gipotez, w knige dokazana kwadratichnaq ocenka dlq klassa odnoklasternyh awtomatow. Vtoraq chast' knigi poswqschena osnownym woprosam, imeüschim prakticheskuü znachimost' w dannoj oblasti: izuchena algoritmicheskaq slozhnost' zadach approkismacii dlin sinhroniziruüschih slow, a takzhe zadach wychisleniq optimal'nyh raskrasok grafow.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783845422626\"\u003e\u003ch3\u003eApproximaciq dlin sinhroniziruüschih slow dlq konechnyh awtomatow\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783845422626","offer_id":39471347597405,"sku":"9783845422626","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0d31397a-f05f-4db8-9fe3-8b53e41c51f7.jpg?v=1773379698","url":"https:\/\/shop.autorenwelt.de\/products\/teoriq-sinhroniziruemosti-von-mihail-berlinkow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}