Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
Browse Prior Art Database

The Development of Theoretical Computer Science - Formal Languages: Origins and Directions

IP.com Disclosure Number: IPCOM000129361D
Original Publication Date: 1981-Jan-01
Included in the Prior Art Database: 2005-Oct-05

Publishing Venue

Software Patent Institute

Related People

S. A. GREIBACH: AUTHOR [+2]

Abstract

[Figure containing following caption omitted: ©; 1981 by the American Federation of Information Processing Societies, Inc. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the AFRO copyright notice and the title of the publication and in date appear, and notice is given that copying is by permission of the American Federation of Information Processing Societies, Inc. To copy otherwise, or to republish, requires specific permission. Author's Address: Department of Computer Science, University of California, Los Angeles, CA 90024. Note: This is a revised version of a paper presented at the twentieth annual IEEE Symposium on Foundations of Computer Science, October 1979. ©; 1981 AFIPS 0164-1239/81 /01 014-41$01.00/0]

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 3% of the total text.

Page 1 of 47

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

Copyright ©; 1981 by the American Federation of Information Processing Societies, Inc. Used with permission.

The Development of Theoretical Computer Science - Formal Languages: Origins and Directions

S. A. GREIBACH

  (Image Omitted: S. A. Greibach was born in New York City in 1939. She received her A.B. in mathematics and applied linguistics from Radcliffe College summa cum laude in 1960, and her Ph.D. in applied mathematics from Harvard in 1963. She was lecturer and later assistant professor at Harvard from 1963 to 1969. From 1959 to 1969 she was involved in the Harvard project in Mathematical Linguistics and Automatic Translation and also with related work at Rand and SDC and so played a part in the historical activity being reported. Since 1969, she has been at UCLA and is currently a professor in the Department of Computer Science. She has published over 50 papers in theoretical computer science. She is married, with one child; her husband, J. W. Carlyle, is also a professor with UCLA Computer Science.)

  (Image Omitted: © 1981 by the American Federation of Information Processing Societies, Inc. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the AFRO copyright notice and the title of the publication and in date appear, and notice is given that copying is by permission of the American Federation of Information Processing Societies, Inc. To copy otherwise, or to republish, requires specific permission. Author's Address: Department of Computer Science, University of California, Los Angeles, CA 90024. Note: This is a revised version of a paper presented at the twentieth annual IEEE Symposium on Foundations of Computer Science,

October 1979. © 1981 AFIPS 0164-1239/81 /01 014-41

The Development of Theoretical Computer Science - Formal Languages: Origins and Directions

S. A. GREIBACH

  (Image Omitted: S. A. Greibach was born in New York City in 1939. She received her A.B. in mathematics and applied linguistics from Radcliffe College summa cum laude in 1960, and her Ph.D. in applied mathematics from Harvard in 1963. She was lecturer and later assistant professor at Harvard from 1963 to 1969. From 1959 to 1969 she was involved in the Harvard project in Mathematical Linguistics and Automatic Translation and also with related work at Rand and SDC and so played a part in the historical activity being reported. Since 1969, she has been at UCLA and is currently a professor in the Department of Computer Science. She has published over 50 papers in theoretical computer science. She is married, with one child; her husband, J. W. Carlyle, is also a professor with UCLA Computer Science.)

.00/0)

Origins of the theory of formal languages and automata are surveyed starting from 1936 with the work of Turing and Post Special attention is given to the machine translation projects of th...