Abstrakt. Denna rapport förklarar ett naturligt språkgränssnitt till formalismen av XFST (Xerox Finite State Tool), som är ett rikt språk som används för att ange ändliga stat automata och givare. Genom att använda gränssnittet, är det möjligt att ge input till XFST på engelska och franska, samt att översätta formell XFST-kod till dessa språk. Det är också möjligt att redigera XFST källfiler och deras naturliga språk motsvarigheter interaktivt, parallellt. Gränssnittet är baserat på en abstrakt syntax av det reguljära uttrycket språk och av en motsvarande fragment av naturligt språk. Förhållandet mellan de olika komponenterna definieras av sammansättningstolkningar och generationsfunktioner och av motsvarande kombinatortolkar. Denna design har inspirerats av Montagues logiska grammatik. Den grammatikdrivna designen gör det enkelt att utöka och ändra gränssnittet, och även att koppla det till andra funktioner som kompilering och semantiskt resonemang. Det är också lätt att lägga till nya språk i gränssnittet. Både den grammatiska teorin och gränssnittet baserat på den har implementerats i det funktionella programmeringsspråket Haskell, som stöder en deklarativ och modulär stil av programmering. Några av de moduler som utvecklats för gränssnittet har också andra användningsområden: det finns ett typsystem av reguljära uttryck, förhindrar vissa kompilatorfel, en denomineringssemantik i termer av lata listor, och en extensio~ av XFST skriptspråk genom definitioner av funktioner.
Generera reguljära uttryck: REF studerade regelbaserade tekniker för konvertering mellan flera språk och reguljära uttryck.
A Multilingual Natural-Language Interface To Regular Expressions
{'venue': 'Workshop On Finite State Methods In Natural Language Processing', 'journal': None, 'mag_field_of_study': ['Computer Science']}