-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!.P
OSTED!not-for-mail
From: Borneq <b...@a...hidden.pl>
Newsgroups: pl.comp.programming
Subject: Porównywanie gramatyk
Date: Fri, 4 Jan 2019 00:17:13 +0100
Organization: ATMAN - ATM S.A.
Lines: 18
Message-ID: <q0m55q$cok$1@node1.news.atman.pl>
NNTP-Posting-Host: public-gprs352734.centertel.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: node1.news.atman.pl 1546557434 13076 37.47.9.31 (3 Jan 2019 23:17:14 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Thu, 3 Jan 2019 23:17:14 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
Thunderbird/60.4.0
X-Mozilla-News-Host: news://news.atman.pl:119
Content-Language: pl
Xref: news-archive.icm.edu.pl pl.comp.programming:213155
[ ukryj nagłówki ]Dość nietrywialny problem.
O ile porównanie plików tekstowych jest szeroko znane, to jak jest z
gramatykami zdefiniowanymi przez rozszerzone produkcje EBNF, takie ze
znakami + (1 i więcej razy potarzaj) czy * (0 i więcej razy potarzaj) ?
Przy porównywaniu ma nie zważać na kolejność reguł ani na kolejność
produkcji w regule. Tak samo na nazwy nieterminalne.
Trochę co innego niż stwierdzenie, że dwie gramatyki generują taki sam
język, bo nie tylko tak trzeba porównać, ale i wskazać różnice, na
szczęście dla większych zmian generujących ten sam język (na przykład
eliminacja rekurencji, łączenie reguł) można stwierdzać różnice, było by
to nawet wskazane, byle by szybko "łapać synchronizację".
Co takiego aby można było stwierdzić jakie różnice są w różnych plikach
gramatyk dla tego samego języka, Pascala,Javy, C,itd.. a także porównać
np. definicje C i C++ - jakie podobieństwa i jakie różnice, a także Javy
i C# itp.(to ostatnie oznacza że musiałby być w pewnym stopniu ślepy
również na symbole terminalne generujące inne języki, byle by mógł
wyłapać różnice w strukturze i filozofii języka - ale to trudniejszy
warunek niż porównywanie dla tego samego języka)
Następne wpisy z tego wątku
Najnowsze wątki z tej grupy
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-04-22 Re: Głośniki
- 2024-04-22 Velobank -- KK Mastercard
- 2024-04-22 dwie nastolatki w radiowozie
- 2024-04-22 Detektor
- 2024-04-22 Warszawa => Senior IT Recruiter <=
- 2024-04-22 Wrocław => Mid PHP Developer (Laravel) <=
- 2024-04-22 Berlin => IT Systems Administrator and Customer Support Engineer <=
- 2024-04-22 Warszawa => Senior Software Engineer PHP (BillPro) Contractor <=
- 2024-04-22 Warszawa => Technical Lead ( (Java Background)) <=
- 2024-04-22 Re: Może tutaj się uda: [NTG] Elewacja / dziurawa Churka
- 2024-04-22 Wrocław => Head of Sales (IT services/products field) <=
- 2024-04-22 Warszawa => Senior IT Recruiter <=
- 2024-04-22 Warszawa => Expert Recruiter 360 stopni <=
- 2024-04-22 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-04-22 Warszawa => Key Account Manager (HR Services) <=