F始代数