- Traditional Chinese Character(HanT):
形式理論
- Simplified Chinese Character(HanS):
形式理论
- Bopomofo(Mandarin Phonetic Symbols): ㄒㄧㄥˊ ㄕˋ ㄌㄧˇ ㄌㄨㄣˋ (ㄒㄕㄌㄌ)
- Bopomofo(Zhuyin Keyboard Input/IME): vu/6g4xu3xjp4
- 「形式理论」的漢語拼音: Xing2 Shi4 Li3 Lun4
- (ASCII) Hanyu Pinyin: "xingshililun" "Xing2Shi4Li3Lun4" "Xing2 Shi4 Li3 Lun4" (XSLL)
- (Latin) Hànyǔ Pīnyīn: XíngShìLǐLùn [ Xíng Shì Lǐ Lùn ]
- (英文翻譯) English Translation: "formal theory"
- (西語翻譯) Traducción Español: "teoría formal"
- (日文翻譯) 日本語翻訳: "形式理論"