Editor

Eine Textdatei enthält eine Folge von Textzeilen. Es gibt in einer solchen Textdatei also keine weiteren versteckten Informationen, wie beispielsweise Formatierungen. Außer dem Tabulatorzeichen und dem Leerzeichen ist jedes Zeichen in einer Zeile auch sichtbar.

Ein Texteditor (Editor) erlaubt es, eine Textdatei zu erstellen oder zu bearbeiten. Texte in formalen Sprache (Quellcode, Quelltext) sollten normalerweise Textdateien sein, so daß ein Texteditor das übliche und empfehlenswerte Programm zur Eingabe von Texten in formalen Sprachen ist.

Erstellung von Texten in formalen Sprachen [Datenflussplan]

.-------------------. 
|                   | 
|     Texteditor    | 
|                   | 
'-------------------' 
          ^ 
          | 
        __V__ 
     .-'     '-. 
   .'           '. 
  /               \ 
 ;                 ; 
 |    Textdatei    | 
 ;                 ; 
  \               / 
   '.           .' 
     '-._____.-'

Ein Textverarbeitungsprogramm, das auch verschiedene Schriftarten in einem Text erlaubt, muß die Informationen über die Schriftarten und die Textdarstellung in der Datei aufbewahren. Solche Dateien sind als in der Regel keine zur Notation eines Textes in einer formalen Sprache verwendbaren Textdateien. Oft können aber auch Textverarbeitungsprogramme zum Editieren von Texten formaler Sprachen eingesetzt werden, wenn sie die Möglichkeit bieten, einen Text als reine Textdatei (ohne solche Formatierungen) abzuspeichern.