Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,616 papers from all fields of science
Search
Sign In
Create Free Account
Language equation
Language equations are mathematical statements that resemble numerical equations, but the variables assume values of formal languages rather than…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Arden's Rule
Boolean grammar
Concatenation
Conjunctive grammar
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Deciding rational property definitions
Matthew Rafuse
2019
Corpus ID: 209018113
Language Equations is an area of Theoretical Computer Science that is concerned with expressing desirable constraints on formal…
Expand
2017
2017
Language equations for approximate matching in the Description Logic FL 0
F. Baader
,
Pavlos Marantidis
2017
Corpus ID: 42594527
Both matching and unification in the Description Logic FL0 can be reduced to solving certain formal language equations. In…
Expand
2016
2016
Solving Language Equations Using Flanked Automata
Florent Avellaneda
,
Silvano Dal-Zilio
,
Jean-Baptiste Raclet
Automated Technology for Verification and…
2016
Corpus ID: 21635774
We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA…
Expand
Review
2007
Review
2007
Seven families of language equations
A. Okhotin
2007
Corpus ID: 14841766
where each φi contains variables and singleton constant languages connected with union and concatenation. For example, consider…
Expand
2004
2004
Composition Operators in Language Equations
N. Yevtushenko
,
T. Villa
,
R. Brayton
,
A. Mishchenko
,
A. S. Vincentelli
2004
Corpus ID: 13311873
The paper addresses the problem of solving equations over languages, that model the problem of synthesizing an unknown component…
Expand
2004
2004
Solving Language Equations Using Petri Net Description
Cong Liu
,
R. Brayton
,
A. Mishchenko
2004
Corpus ID: 15811840
The problem of designing a component which asynchronously communicates with a known context such that the overall system conforms…
Expand
2003
2003
Sequential synthesis by language equation solving
N. Yevtushenko
,
T. Villa
,
R. Brayton
,
A. Petrenko
,
A. Sangiovanni-Vincentelli
2003
Corpus ID: 14779409
Consider the problem of designing a component that combined with a known part of a system, called the context, conforms to a…
Expand
2003
2003
SOLUTIONS TO THE LANGUAGE EQUATION LB = AL
C. Huang
,
S. S. Yu
2003
Corpus ID: 11557392
An air release valve for sphygmomanometers in the form of a flow metering device in an air outlet duct comprising a length of a…
Expand
2003
2003
Solving Derivative Equations
E. Leiss
,
Adrian Ionescu
2003
Corpus ID: 15422845
Language equations are equations in which the constants are languages, ranging over some specified class, and the operations are…
Expand
1994
1994
Deletion operations: closure properties
L. Kari
1994
Corpus ID: 15760333
The paper studies some variants of deletion operations which generalize the left/right quotient of languages. The main emphasis…
Expand