7 found
Sort by:
  1. Arthur W. Burks, J. Richard B.??chi, Calvin C. Elgot & Jesse B. Wright, Design Algorithms in Automata Languages : Final Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Arthur W. Burks, Carl H. Pollmar, Don W. Warren & Jesse B. Wright, Language Conversion for Digital Computers. Vol. 2 : The Physical Realization of Code and Format Conversion.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Arthur W. Burks, Carl H. Pollmar, Don W. Warren & Jesse B. Wright, Language Conversion for Digital Computers : General Introduction and Volume I, the Logical Realization of Transliterative Functions.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Arthur W. Burks, Don W. Warren & Jesse B. Wright, Truth-Function Evaluation Using the Polish Notation.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Arthur W. Burks & Jesse B. Wright, Sequence Generators and Digital Computers : Technical Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Arthur W. Burks & Jesse B. Wright, Sequence Generators and Formal Languages : Technical Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Jesse B. Wright (1972). Characterization of Recursively Enumerable Sets. Journal of Symbolic Logic 37 (3):507-511.
    Let N, O and S denote the set of nonnegative integers, the graph of the constant 0 function and the graph of the successor function respectively. For sets $P, Q, R \subseteq N^2$ operations of transposition, composition, and bracketing are defined as follows: $P^\cup = \{\langle x, y\rangle | \langle y, x\rangle \epsilon P\}, PQ = \{\langle x, z\rangle| \exists y\langle x, y\rangle \epsilon P & \langle y, z\rangle \epsilon Q\}$ , and [ P, Q, R] = ∪n ε M(PnQR (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation