This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as a syntax with its semantics. After the basic theory, pointers are provided to contemporary applications of string diagrams in various fields of science.
翻译:本文档是字符串图解的基础入门。它采用计算机科学视角:不以范畴理论为出发点,而是基于形式语言理论的直觉,将字符串图解视为一种具有语义的句法。在阐述基本理论后,本文提供了字符串图解在当代科学各领域应用的指引。