Buscar
Algebraicheskie Uravneniya I Sistemy Nad Nekommutativnym Koltsom
Cód:
491_9783659001826
Matematicheskaya teoriya formalnykh yazykov i grammatik yavlyaetsya odnoy iz teoreticheskikh osnov informatiki. Tsentralnoe mesto v teorii formalnykh grammatik zanimayut kontekstno-svobodnye yazyki i kontekstno-svobodnye grammatiki, porozhdayushchie eti yazyki, kotorye byli vvedeny pri popytke postroit adekvatnuyu model estestvennykh yazykov, naprimer, angliyskogo yazyka. V nastoyashchee vremya zamecheno, chto klass kontekstno-svobodykh yazykov sovpadaet s nekotorymi klassami yazykov programmirovaniya, poetomu issledovanie kontekstno-svobodnykh grammatik, porozhdayushchikh eti yazyki, yavlyaetsya odnoy iz zadach informatiki. Pravila vyvoda konteksno-svobodnoy grammatiki mozhno predstavit v vide sistemy polinomialnykh uravneniy s nekommutativnym umnozheniem, kotoraya dolzhna byt razreshena otnositelno gruppy peremennykh v vide formalnykh stepennykh ryadov, zavisyashchikh ot ostalnykh peremennykh. Pervaya komponenta resheniya i yavlyaetsya sootvetstvuyushchim kontekstno-svobodnym yazykom. Takim obrazom, voznikaet zadacha resheniya sistem algebraicheskikh uravneniy nad nekommutativnym koltsom.
Veja mais

Quem viu também comprou

Quem viu também viu