Sciweavers

759 search results - page 24 / 152
» Overlap-Free Regular Languages
Sort
View
CAI
2009
Springer
14 years 3 months ago
Picture Languages: From Wang Tiles to 2D Grammars
The aim of this paper is to collect definitions and results on the main classes of 2D languages introduced with the attempt of generalizing regular and context-free string languag...
Alessandra Cherubini, Matteo Pradella
COCOON
2004
Springer
14 years 7 days ago
Regular Expressions for Languages over Infinite Alphabets
In this paper we introduce a notion of a regular expression over infinite alphabets and show that a language is definable by an infinite alphabet regular expression if and only if ...
Michael Kaminski, Tony Tan
WIA
1999
Springer
14 years 22 days ago
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing
Finite-state techniques are widely used in various areas of Natural Language Processing (NLP). As Kaplan and Kay [12] have argular expressions are the appropriate level of abstract...
Gertjan van Noord, Dale Gerdemann
CALCO
2005
Springer
85views Mathematics» more  CALCO 2005»
14 years 2 months ago
Using Proofs by Coinduction to Find "Traditional" Proofs
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
Clemens Grabmayer
CORR
2010
Springer
107views Education» more  CORR 2010»
13 years 7 months ago
Yacc is dead
Abstract. We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to c...
Matthew Might, David Darais