• Publications
  • Influence
Protection in operating systems
A model of protection mechanisms in computing systems is presented and its appropriateness is argued. The “safety” problem for protection systems under this model is to determine in a given situationExpand
  • 1,178
  • 89
  • PDF
Introduction to formal language theory
From the Publisher: Formal language theory was fist developed in the mid 1950's in an attempt to develop theories of natural language acquisition. It was soon realized that this theory (particularlyExpand
  • 1,185
  • 77
  • PDF
Introduction to switching and automata theory
  • 338
  • 15
An Improved Context-Free Recognizer
A new algorithm for recognizing and parsing arbitrary context-free languages is presented, and several new results are given on the computational complexity of these problems. The new algorithm is ofExpand
  • 232
  • 10
  • PDF
Strict Deterministic Grammars
A grammatical definition of a family of deterministic context free languages is presented. It is very easy to decide if a context free grammar is strict deterministic. A characterization theoremExpand
  • 96
  • 7
On protection in operating systems
A model of protection mechanisms in computing systems is presented and its appropriateness is demonstrated. The “safety” problem for protection systems under our model is to determine in a givenExpand
  • 45
  • 7
  • PDF
Translating the science of quality of life into practice: What do dermatology life quality index scores mean?
This study's aim was to determine the relationship between Dermatology Life Quality Index (DLQI) scores and a Global Question (GQ) concerning patients' views of the overall impairment of theirExpand
  • 479
  • 6
Real-Time Strict Deterministic Languages
The family of strict deterministic languages has been studied for its theoretical properties and applications to parsing. In particular, these languages have been shown to be precisely theExpand
  • 54
  • 5
Multi-Tape and Multi-Head Pushdown Automata
This paper considers multi-tape and multi-head extensions of various models of pushdown automata. One-way and two-way deterministic and nondeterministic multi-tape and multi-head pushdown automataExpand
  • 69
  • 3
  • PDF