Sheila Greibach - Sheila Greibach

Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) Ushbu biografik maqola yozilgan rezyume kabi. Iltimos uni yaxshilashga yordam bering bo'lishini qayta ko'rib chiqish orqali neytral va entsiklopedik. (2014 yil yanvar) Bu tirik odamning tarjimai holi qo'shimcha kerak iqtiboslar uchun tekshirish. Iltimos, qo'shib yordam bering ishonchli manbalar. Tirik odamlar haqida manbalar bo'lmagan yoki kam manbalardan olingan munozarali materiallar darhol olib tashlanishi kerak, ayniqsa potentsial bo'lsa tuhmat yoki zararli. Manbalarni toping: "Sheila Greibach"  – Yangiliklar  · gazetalar  · kitoblar  · olim  · JSTOR (2014 yil yanvar) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) Bu maqola tushunarsiz keltirish uslubiga ega. Amaldagi havolalar boshqacha yoki izchil uslubda aniqroq bo'lishi mumkin iqtibos va izohlar. (2014 yil yanvar) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Sheila Adele Greaybax (1939 yil 6 oktyabrda Nyu-York shahrida tug'ilgan) - tadqiqotchi rasmiy tillar hisoblashda, avtomatlar, kompilyator nazariya va Kompyuter fanlari. U g'ayrioddiy professor Kompyuter fanlari da Kaliforniya universiteti, Los-Anjeles va e'tiborga loyiq ishlarga ishlash kiradi Seymur Ginsburg va Maykl A. Xarrison yilda kontekstga sezgir tahlil qilish yordamida stek avtomat model.

Oddiy shaklni o'rnatishdan tashqari (Greibax normal shakli ) uchun kontekstsiz grammatikalar, 1965 yilda u shuningdek xususiyatlarini o'rganib chiqdi V-grammatika, pastga tushirish avtomatlari va qaror qabul qilish muammolari.

Erta martaba

Greybax A.B. daraja (summa cum laude ) ichida Tilshunoslik va Amaliy matematika dan Radkliff kolleji 1960 yilda va ikki yildan so'ng A.M. daraja. 1963 yilda u doktorlik dissertatsiyasiga sazovor bo'ldi Garvard universiteti tomonidan tavsiya etilgan Entoni Oettinger^[1] doktorlik dissertatsiyasi bilan "Frazalar tuzilishi generatorlarining teskari yo'nalishlari".

U Garvardda muhandislik va amaliy fizika bo'limida ishlashni 1969 yilga qadar davom ettirdi UCLA, u shu kungacha professor bo'lib ishlagan (2014 yil mart holatiga ko'ra).

Ish va hissalar

Uning talabalari orasida edi Ronald V. Kitob va Maykl J. Fischer.Quyidagi ro'yxat uning ba'zi ishlarini ko'rsatadi. Ro'yxatning yuqori qismi ACM Raqamli kutubxonasi va qolgan qismi Fokuslar Bibliografiyasi Devid M. Jons tomonidan.

ACM Raqamli kutubxonasidan

"PDA-dan o'tish, aniqlanadigan kontekstsiz tillar, asosiy AFDLlar va ko'p polinomli vaqtni aniqlash (kengaytirilgan abstrakt)", Hisoblash nazariyasi bo'yicha beshinchi yillik ACM simpoziumi materiallari, 1973 yil aprel.

Har bir aniqlanadigan kontekstsiz til deterministik cheklangan kechikish bilan qabul qilinishi mumkin pda sakrash bilan. Sakrash turlari yoki paydo bo'lishi sonini ko'paytirish, kechikish bilan qabul qilingan tillar oilasini ko'paytiradi. Shuning uchun deterministik kontekstsiz til oilasi asosiy AFDL hisoblanadi; kontekstsiz til mavjud ${ displaystyle L_ {0}}$ Shunday qilib, har qanday kontekstsiz til teskari gsm ning tasviri ${ displaystyle L_ {0}}$ yoki ${ displaystyle L_ {0} - {e }}$.

"W-grammatika bo'yicha ba'zi cheklovlar" Hisoblash nazariyasi bo'yicha oltinchi yillik ACM simpoziumi materiallari, 1974 yil aprel.

Ba'zi cheklovlarning ta'siri V-grammatika (ning sintaksisini rasmiylashtirish ALGOL 68 ) o'rganilgan. Uzoq vaqt davomida tekshirilgan ikkita taqqoslanmaydigan oila: WRB (oddiy oddiy W-grammatika tomonidan yaratilgan tillar) va WS (oddiy W-grammatika tomonidan yaratilgan tillar). Ikkalasi ham kontekstsiz tillarni o'z ichiga oladi va kvazirealtime tillari oilasida to'g'ri joylashadi. Bundan tashqari, WRB ichki yineleme ostida yopiladi ...

"Kontekstsiz tillarning cheksiz ierarxiyasi", ACM jurnali, 16-jild 1969 yil 1-yanvar, 1-son

"Kontekstsiz iboralar tuzilishi grammatikalari uchun yangi normal shakldagi teorema" JACM, 12-jild, 1965 yil yanvar, 1-son

"Lineer kontekstsiz tillarni tan olishning hal etilmasligi" JACM, 13-jild 1966 yil 4 oktyabr, 4-son

Berilgan kontekstsiz tilning chiziqli bo'ladimi-yo'qligi muammosi rekursiv ravishda hal etilmasligi ko'rsatilgan.

Birgalikda yozilgan asarlar

Seymur Ginsburg bilan hammualliflik qilgan "Multitape AFA", ACM jurnali, 19-jild, 1972 yil aprel, 2-son

"Superdeterministic PDAs: Decludable Inclusive problem with subcase", E. P. Fridman bilan hammualliflik qilgan, "JACM ", 1980 yil oktyabr, 27-jild 4-son

Seymour Ginsburg va Maykl A. Xarrison bilan hammualliflikda "Stack automata and compiling",JACM ", 1967 yil yanvar, 14-jild 1-son

Tuzish ikki qismdan iborat, tan olish va tarjima. Matematik model ko'plab zamonaviy kompilyatsiya texnikalarining o'ziga xos xususiyatlarini o'zida mujassam etgan. Stack avtomat deb nomlangan model, tabiatda deterministik bo'lishning kerakli xususiyatiga ega. Ushbu deterministik moslama nondeterministik qurilmaga (nondeterministic stack avtomat) umumlashtirildi va ushbu umumiy qurilmaning alohida misollari qayd etildi. Nosteterministik stack automata tomonidan qabul qilingan to'plamlar recursi ...

Ronald V. Book bilan hammualliflik qilgan "Quazi-realtime languages ​​(Extended Abstract)", 1969 yil may oyida Hisoblash nazariyasi bo'yicha ACM birinchi yillik simpozium materiallari.

Kvazi real vaqt tillari - bu nondeterministic multitape tomonidan qabul qilingan tillar Turing mashinalari real vaqtda. Yarim real vaqt tillari oilasi kesishish, chiziqli o'chirish va teskari yo'nalishda yopilgan mavhum tillar oilasini shakllantiradi. Bu chiziqli vaqt ichida nondeterministik multitapeli Turing mashinalari tomonidan qabul qilingan tillar oilasi bilan bir xil. Har bir yarim real vaqt tili aniq vaqt ichida deterministik bo'lmagan stek, bitta pushdown do'kon mashinasi tomonidan qabul qilinishi mumkin va elektron ...

Seymur Ginsburg va Maykl A. Xarrison bilan hammualliflik qilgan "bir tomonlama stek avtomatlari" "JACM ", 1967 yil aprel, 14-jild 2-son

Bir tomonlama stek avtomatlar tomonidan qabul qilingan to'plamlarni saqlaydigan yoki aniqlangan bir tomonlama stek avtomatlar tomonidan qabul qilingan to'plamlarni saqlaydigan bir qator operatsiyalar keltirilgan. Masalan, ketma-ket transdüksiyon avvalgisini saqlaydi; to'ldirishni o'rnatdi, ikkinchisi. Bir nechta echuvchanlik masalalari ham ko'rib chiqiladi.

Ronald V. Book va Ben Wegbreit bilan hammualliflik qilgan "Tasma va vaqt bilan chegaralangan Turing qabul qiluvchilar va AFLlar (kengaytirilgan referat)", 1970 yil may oyida hisoblash nazariyasi bo'yicha ACM ikkinchi yillik simpoziumining materiallari.

Vaqt va lenta bilan chegaralangan Turing aktseptorlari tomonidan belgilangan rasmiy tillarning murakkabligi sinflari ushbu sinflarning AFL bo'lishi va asosiy AFL bo'lishi uchun etarli sharoitlarni yaratish maqsadida o'rganiladi.

Seymour Ginsburg va Jonathan Goldstine bilan hammualliflik qilgan "Bir xilda o'chiriladigan AFL", Hisoblash nazariyasi bo'yicha to'rtinchi yillik ACM simpoziumi materiallari, 1972 yil may.

Ushbu maqola bir qator taniqli oilalarning mulkiga ega ekanligini ko'rsatdi (*). Xususan, mualliflar kontekstsiz tillar oilasi haqiqatan ham ushbu xususiyatga ega ekanligini isbotladilar. Bunga qo'shimcha ravishda, biz kontekstsiz tillarning bir nechta tanish subfamilyalarini, masalan bitta hisoblagichli tillar, mulkka ega bo'lish (*). Va nihoyat, biz kontekstsiz tillarning subfililasi bo'lmagan (*) qoniqtiradigan oilalar borligini ko'rsatamiz, chunki biz har qanday oila bir martalikdan yaratilganligini isbotlaymiz ...^{[tushuntirish kerak ]}

Rasmiy ajralish tizimlari

Sheila A. Greaybx

1964 yil avgust

ACM aloqalari, 7-jild 8-son

Yaqinda avtomatik sintaktik tahlil ikkalasi uchun ham muhim ahamiyat kasb etdi tabiiy til ma'lumotlarni qayta ishlash va sintaksisga yo'naltirilgan kompilyatorlar. Rasmiy ajralish tizimi G = (V, m, T, R) ikkita sonli bo'linmagan so'z birikmalaridan iborat, V va T, ko'p sonli xarita, m, V dan V ga T va sintaktik deb nomlangan R satrlarining rekursiv to'plami. jumla darslari ...

FOCS Bibliografiyasidan

Seymur Ginsburg va Sheila Greybax.

Deterministik kontekst bepul tillar.

Oltinchi yillik materiallarda Kommutatsiya davri nazariyasi va mantiqiy dizayni bo'yicha simpozium, 203-220 betlar. IEEE, 1965 yil.

Seymur Ginsburg, Sheila A. Greaybax va Maykl A. Xarrison.

Bir tomonlama stek avtomatlari (kengaytirilgan referat).

1966 yildagi konferentsiyalar yozuvlarida. Yettinchi yillik Kommutatsiya va avtomatika nazariyasi bo'yicha simpozium, 47-52 betlar, Berkli, Kaliforniya, 1966 yil 26-28 oktyabr. IEEE.

Sheila A. Greaybx.

Kontekstsiz tillarning cheksiz ierarxiyasi.

1967 yildagi konferentsiyalar yozuvida "Kommutatsiya va avtomatika nazariyasi bo'yicha sakkizinchi yillik simpozium", 32-36 betlar, Ostin, Texas, 18-20 oktyabr 1967. IEEE.

Seymur Ginsburg va Sheila Greybax.

Tillarning mavhum oilalari.

Konferentsiyada 1967 yil sakkizinchi yillik o'tish va avtomatika nazariyasi bo'yicha simpozium, 128-139 betlar, Ostin, Texas, 18-20 oktyabr 1967. IEEE. Iqtiboslar.

Sheila Greibach.

Avtomat va bir tomonlama stek tillarini tekshirish (kengaytirilgan referat).

1968 yildagi konferentsiyalar yozuvlarida "Kommutatsiya va avtomatika nazariyasi bo'yicha to'qqizinchi yillik simpozium", 287-291 betlar, Schenectady, Nyu-York, 1968 yil 15-18 oktyabr. IEEE. Iqtiboslar.

Sheila A. Greaybx.

To'liq AFL va takrorlangan almashtirish.

1969 yildagi konferentsiyalar yozuvida Kommutatsiya va avtomatika nazariyasi bo'yicha o'ninchi yillik simpozium, 222-230 betlar, Waterloo, Ontario, Kanada, 1969 yil 15-17 oktyabr. IEEE.

J. W. Carlyle, S. A. Greybach va A. Paz.

Ikki o'lchovli ishlab chiqaruvchi tizim, ikkilamchi hujayraning bo'linishi bilan o'sishni modellashtirish (dastlabki hisobot).

Kommutatsiya va avtomatika nazariyasi bo'yicha 15-yillik simpoziumda, 1-12 betlar, Nyu-Orlean universiteti, 1974 yil 14-16 oktyabr. IEEE.

S. A. Greybax.

Rasmiy tillar: kelib chiqishi va yo'nalishlari.

20 yillik Kompyuter fanlari asoslari bo'yicha simpozium, 66-90-betlar, San-Xuan, Puerto-Riko, 1979 yil 29-31 oktyabr. IEEE.

Boshqalar

Ronald Book, Shimon Even, Sheila Greibach va Gene Ott.

Grafik va iboralardagi noaniqlik.

IEEE operatsiyalari kompyuterlar, vol. c-20, № 2, 1971 yil fevral. IEEE.

Shuningdek qarang

• Greibax normal shakli
• Qabul qiluvchilarning mavhum oilasi
• Greybax teoremasi

Adabiyotlar

Tashqi havolalar

• Sheila Greibaxning UCLAdagi fakultet sahifasi