Seymour Ginsburg was an American pioneer of automata theory, formal language theory, and database theory,
Seymour Ginsburg (1927-2004) was an American computer scientist and mathematician. He made significant contributions to formal languages and automata theory. Ginsburg developed the concept of "context-free languages" and contributed to the theory of pushdown automata. His work has had a lasting impact on the field of theoretical computer science and programming language design.
Proved "don't-care" circuit minimization does not necessarily yield optimal results; proved that the ALGOL programming language was context-free (linking formal language theory to the problem of compiler writing); invented AFL Theory
Seymour Ginsburg was an American pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general. His work was influential in distinguishing theoretical Computer Science from the disciplines of Mathematics and Electrical Engineering.
University of Southern California
University of Miami
University of Michigan
City College of New York
Cold WarJohn von Neumann
John von Neumann was a Hungarian and American mathematician, physicist, computer scientist and engineer
Cold WarHarry Huskey
Harry Douglas Huskey was an American computer design pioneer
Cold WarKathleen Booth
Kathleen Hylda Valerie Booth was a British computer scientist and mathematician who wrote the first
Cold WarMaurice Wilkes
Sir Maurice Vincent Wilkes was an English computer scientist who designed and helped build the
