The research objectives are in two areas. The first is that of one-rule semi-Thue systems, which are of interest in the general topic of theorem proving by machine. The research problem is to determine a decision procedure that distinguishes whether or not a given system is uniformly terminating; that is, to tell whether or not every derivation in the given system terminates. The second area is that of infinite games; that is, games that are conceived of as being played by two players over an infinite amount of time. This area is of interest in the general topic of making assertions in formal logics about the running of programs, and, therefore, in the general topic of concurrency control. There are tow major research problems: (I) To develop the concept of the infinite game in the setting of a board and pieces (like many parlor games). The purpose is to make the game concept more applicable to computer science, by making it more intuitively intelligible; (ii) To develop a usable and justifiable method for declaring a winner of an infinite game after a finite amount of time.

Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Type
Standard Grant (Standard)
Application #
9500182
Program Officer
Yechezkel Zalcstein
Project Start
Project End
Budget Start
1995-07-01
Budget End
1997-06-30
Support Year
Fiscal Year
1995
Total Cost
$54,316
Indirect Cost
Name
Rensselaer Polytechnic Institute
Department
Type
DUNS #
City
Troy
State
NY
Country
United States
Zip Code
12180