𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decision Problems for Patterns

✍ Scribed by T. Jiang; A. Salomaa; K. Salomaa; S. Yu

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
742 KB
Volume
50
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

✦ Synopsis

We settle an open problem, the inclusion problem for pattern languages. This is the first known case where inclusion is undecidable for generative devices having a trivially decidable equivalence problem. The study of patterns goes back to the seminal work of Thue and is important also, for instance, in recent work concerning inductive inference and learning. Our results concern both erasing and nonerasing patterns. 1995 Academic Press, Inc.

πŸ“œ SIMILAR VOLUMES

Dynamic decision problem structuring
Dynamic decision problem structuring
✍ James Corner; John Buchanan; Mordecai Henig πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 230 KB

## Abstract This paper develops a conceptualization of decision problem structuring which synthesizes a number of models and approaches cited in the decision‐making literature in general and the multi‐criteria literature in particular. The approach advocates a dynamic interaction between criteria a

The Decision Problem for Certain Nilpote
The Decision Problem for Certain Nilpotent Closed Varieties
✍ Stephen D. Comer πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 280 KB

THE DECISION PROBLEM FOR CERTAIN NILPOTENT CLOSED VARIETIES by STEPHEN D. COMER in Charleston, South Carolina (U.S.A.