սահմանում:Հանրահաշիվը դա Q և {Ai} ոչ դատարկ բազմությունների զույգն է, որտեղ յուրաքանչյուր Ai էլեմենտ իրենից ներկայացնում է Q բազմության (կամ Q բազ¬մության վրա որոշված) վերջավոր տեղանի (ֆինիտար) գործողություն:
սահմանում<Q,A> բինար հանրահաշիվը կոչվում է հակադարձելի հանրահաշիվ, եթե նրա յուրաքանչյուր գործողություն հակադարձելի է:
սահմանումՀակադարձելի հանրահաշիվը մեկ գործողությամբ կոչվում է քվազիխումբ:
սահմանում2(Q,A)հանրահաշիվը կոչվում է քվազիխումբ, եթե A(a,y)=c և
A(x,b)=c -հավասարումները ունեն միակ լուծում:
Մեջբերել
Էջանիշներ