• Journal of applied mathematics & informatics
• /
• v.7 no.1
• /
• pp.347-355
• /
• 2000

In this paper we define linearly independent, basis, free, torsion-free and torsion-free completely on an automation. We prove a theorem describing a relationship between free and torsion-free completely on automata. Also we prove some important properties of them. Furthermore, we discuss some theorems associated with free.