Mavzu: parallel dasturlashda kelishuv. Petri tarmog‘i magistrant: A

Funksional imkoniyatlar Petri tarmog’ini

Rasmiy grammatikalar va tillar nazariyasi Hisoblash tuzilmalari nazariyasi kursining nisbatan mustaqil qismidir yoki rasmiy tillar va avtomatlar kursining bir qismi sifatida o'qitiladi. To'liq nazariya bu erda.

tasvirlanmagan, ammo undan ba'zi ma'lumotlar Petri to'rlarining funksionalligi haqidagi savolga aniqlik kiritish uchun kerak bo'ladi (saqlash uchun)
Ushbu bo'limda keltirilgan materialning "avtonomiyasi").
Belgilarni kiritish ham kerak bo'lishi mumkin: ∅ bo'sh so'z va l
bo'sh to'plam.
Rasmiy grammatikaga misol:
N = {A, B, S}, T = {a, b}, S – начальный нетерминал, P = {S→AB, A→аA, A→a, B→Bb, B→b}.

a→b ishlab chiqarish satrni aylantirish qoidasidir. U o'zgartirilishi mumkin bo'lgan qatorni tanib olish uchun namuna sifatida chap a a qismini va o'zgartirilishi mumkin bo'lgan pastki qatorni ko'rsatadigan o'ng b qismini o'z ichiga oladi.

namuna a. Bunday almashtirishlar (almashtirishlar) tartibi va ularning soni o'zboshimchalik bilan bo'lishi mumkin, jarayonni boshlash zarurati bundan mustasno.
chap tomonda dastlabki terminal bo'lmagan ishlab chiqarishlardan foydalanish. Agar (a→b)∈P hosilasini µ = s sat satriga qo‘llash g = sb satrga olib keladigan bo‘lsa, G grammatikasidagi g satr to‘g‘ridan-to‘g‘ri m (µ ⇒ g bilan belgilanadi) qatoridan olingan deyiladi, bunda s. va t ixtiyoriy, ehtimol bo'sh zanjirlardir.