LARGE SCALE INFORMATION PROCESSING SYSTEMS. VOLUME I. FORMAL LANGUAGE PROCESSING.

Abstract

The first section deals with connections between automata and formal languages and the second deals with formal methods for deriving algorithms equivalent to a given algorithm written in a specified formal language. (Author)

Document Details

• Document Type: Technical Report
• Publication Date: Jul 01, 1968
• Accession Number: AD0674052

Entities

People

• Ronald E. Prather
• Walter S. Bennett

Organizations

• Syracuse University

Tags

DTIC Thesaurus Topics

• Algorithms
• Formal Languages
• Information Processing
• Information Systems
• Language

Fields of Study

• Computer science

Readers

• Computer Science.
• Mathematical Modeling and Probability Theory.