? -> ?
* -> a
a -> *
*
×
* * *
× × ×
* -> *
(a
a)
a * -> b
* a
->?
*-> *
* ->*
× *
a * b *
a * b )
a * (b *)
a * (b * c
?
(a * b)?