Equivalence between AND/OR graphs and context-free grammars

  • Authors:
  • Patrick A. V. Hall

  • Affiliations:
  • The City Univ., London, England, UK

  • Venue:
  • Communications of the ACM
  • Year:
  • 1973

Quantified Score

Hi-index 48.22

Visualization

Abstract

Recent research in artificial intelligence has led to AND/OR graphs as a model of problem decomposition (Nilsson [3]; Simon and Lee [4]). However, AND/OR graphs of a restricted type are equivalent to context-free grammars. This can be set-up formally (the beginnings of a formalism of AND/OR graphs is contained in [4]), but the formalism is so obvious that a brief discussion and example suffice.