CONDOR(ID:8190/)


Algol-like language for systems control


References:
  • Takahashi, H. "The maximum invariant set of an automaton system," Information and Control, vol. 32, pp. 307-354, Dec. 1976. view details
  • Takahashi, H. "Information transmission in one-dimensional cellular space and the maximum invariant set," Information and Control, vol. 33, pp. 35-55, Jan. 1977. view details
  • Takahashi, H. "Undecidable questions about the maximum invariant set," Information and Control, vol. 33, pp. 1-34, Jan. 1977 view details
  • Takahashi, Hideyuki "An Automatic-Controller Description Language" IEEE Transactions on Software Engineering January 1, 1980 view details Extract: Computer control languages
    There are many languages for computer control based on existing procedural languages; there are also a number of problem-oriented languages, for example, PROSPRO, BICEPS, BATCH, and AUTRAN. (For AUTRAN, see Section 111.) Although those languages are excellent in particular in the intended fields, it seems those are biased to computer science and do not catch all aspects of sequential control. After all, there is no higher-level control-oriented language which is general, natural, flexible, and powerful. We usually use ladder diagrams for sequential control description. Thus our way of description basically remains on a level with Shannon's work. Extract: CONDOR
    Conclusion
    This paper illustrated a controller description language Condor, which is Algol-like and nonprocedural. It is worth calling a spatial programming language. Condor is to Algol what space is to time. A Condor program represents an organization of reactors which work together in a parallel manner and use tools if necessary. Condor is a language for describing the roles of the reactors. A nested block structure expresses a hierarchy of reactors. This paper proposed the meaning of "hierarchy" for a sequential controller. A distant source of this paper was the concept of parallel action and teamwork of cellular automata [...] ......In general, controllers neither terminate nor conclude, so that they form a class different from the class of all algorithms. We should investigate and classify nonalgorithms. "program" is not a synonym of "algorithm."
    The problem of loops is fatal for any system. Little difficulty will arise in investigating a system with no loops. The problem of loops is important especially in control-oriented circuit theories. How to handle loops characterizes a theory. Since a circuit is a simultaneous equation system, circuit loops are different from computer program loops in the following respect: all the circuit loops basically operate in a parallel manner. This is a difficult and interesting problem. There are some kinds of positive and negative feedback loops in a relay circuit. A negative feedback loop is a cause-killing circuit. Note: Condor is intended for bringing tree structures into relief. A system is composed of trees and loops.
    We can discuss the subroutine concept and extensibility of Condor. They have properties different from those of a procedural language.
    The most interesting course of future research are efforts to build both the pattern recognition (or responding-to- pattern) ability and the learning ability into a controller. A language for describing patterns, pattern processing, and learning is needed. The language should be founded on circuit theory. A learning description language will be concerned with a Condor-handling language, because to learn is to generate a new or improved behavioral program. The handling language should handle not only Condor, but also the handling language itself. For a learning mechanism itself is learned. (This selfreference property of the handling language is somewhat similar to that of a list processing language.) For pattern recognition, the pandemonium model seems suited to the philosophy of this paper. Our ultimate objective is to make the level of a descriptive language so high that an ethologist's description of animal behavior can be a controller description program itself.