Att tolka i typ logisk grammatik är detsamma som att teorem visar sig i en substrukturell logik. Denna uppsats tar beviset netto presentation av Lambeks associativa analys som en fallstudie. Den introducerar brytare diagram för online underhåll av Danos-Regnier acyklicitet villkor på säkra nät. Tidig upptäckt av Danos-Regnier acyklicitet överträdelser stöder tidigt misslyckande i skift-reducera parsers. Normaliserade omkopplargrafer representerar den kombinatoriska potentialen hos en uppsättning analyser som härrör från lexikala och strukturella tvetydigheter. Packa dessa subanalyser och memorera resultaten leder direkt till en dynamisk programmeringsalgoritm för Lambek grammatik.
REF gav en grafrepresentation och en dynamisk programmeringsalgoritm för tolkning i Lambek-kalkylen med produkten.
Switch Graphs For Parsing Type Logical Grammars
{'venue': 'International Workshop On Parsing Technology', 'journal': None, 'mag_field_of_study': ['Computer Science']}