Object/Class

in.tamchow.turing

UniversalTuringMachine

Related Docs: class UniversalTuringMachine | package turing

Permalink

object UniversalTuringMachine

Represents a universal Turing Machine

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. UniversalTuringMachine
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. val BlankValue: Null

    Permalink
  5. val CommentChar: String

    Permalink

    The comment indicator

  6. val DirectiveChar: String

    Permalink

    Directives indicating acceptable halting commands, other than the default halt command

  7. val FillerChar: String

    Permalink

    The tape initializer indicator

  8. val HaltState: Null

    Permalink
  9. val IllegalTapeSizeMessage: String

    Permalink
  10. val InitialHead: Int

    Permalink
  11. val InitialStateChar: String

    Permalink

    The initial state indicator

  12. val InvalidHead: None.type

    Permalink
  13. val SpecialChars: Seq[String]

    Permalink

    List of

  14. def apply(data: Seq[String], tapeSize: Int): UniversalTuringMachine

    Permalink

    Allowed characters with special meaning:

    Allowed characters with special meaning:

    1. Lines starting with 'DirectiveChar' ('#') - Directives indicating acceptable halting commands, other than the default halt command

    2. Lines starting with 'CommentChar' (';') - Discarded as comments. Well, it is a Turing Machine Code program after all, so the assembler style is employed

    3. Lines having a 'CommentChar' (';') in the middle - Only the part to the left is processed, rest is discarded as an inline comment

    4. Line starting with 'InitialStateChar' ('~') - The initial state indicator

    5. Line starting with 'FillerChar' ('@') - The tape initializer

    This String is split by whitespace after trimming indicator to get filler Strings, which are repeated in order to fill up the tape

    Without such a line, the tape is initialized to logical blanks, represented by null

    6. Empty Lines - Ignored and discarded

    data

    Raw Seq of Strings of a Turing Machine Code program

    tapeSize

    the (fixed) size of the tape. Wraparound is enabled

    returns

    An UniversalTuringMachine object for evaluation of the argument program

    See also

    TuringCommand.WhitespaceRegex

    FillerChar

    CommentChar

    InitialStateChar

    DirectiveChar

  15. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  16. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  17. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  19. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  22. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  23. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped