.. -*- coding: utf-8; -*- ========================================== 文字列の一般形の導出 ========================================== 入力された文字列を部分文字列として含む文字列を出力する準同型写像を求める | 初期文字 :math:`a` として, | :math:`\sigma(a)`, :math:`\sigma(b)` の準同型写像を求める. .. raw:: html    
pat =
dummy