Concepedia

Decision Problems for Patterns

Tao Jiang, A. Salomaa, Kai Salomaa, S. Yu

Journal of Computer and System Sciences · 1995 · 83 citations · 13 references

DOI

Concepts

References

13

Introduction to formal language theory

Computer Languages · 1980 · 1.3K citations

, , +11

Inductive inference of formal languages from positive data

Dana Angluin · Information and Control · 1980 · 750 citations

, , +9

Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines

Marvin Minsky · Annals of Mathematics · 1961 · 710 citations

, , +16

Finding patterns common to a set of strings

Dana Angluin · Journal of Computer and System Sciences · 1980 · 607 citations

, , +9

THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP

G. S. Makanin · Mathematics of the USSR-Sbornik · 1977 · 495 citations

, , +7